Trace number 3718121

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 35.3896 32.8855

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110977780--soft-66-100-0.wbo
MD5SUMb7777dd5fa41ca59afb23064bb503e66
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark80
Best CPU time to get the best result obtained on this benchmark0.494924
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 constraints28
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 1415
Min constraint cost 1
Max constraint cost 98
Sum of constraints costs 1414
Biggest number in a constraint 38
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 1327
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.09	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.00/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.09	c See www.sat4j.org for details.
0.08/0.10	c version 2.3.2.v20120528
0.08/0.10	c java.runtime.name	Java(TM) SE Runtime Environment
0.08/0.10	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.08/0.10	c java.vm.version	19.1-b02
0.08/0.10	c java.vm.vendor	Sun Microsystems Inc.
0.08/0.10	c sun.arch.data.model	64
0.08/0.10	c java.version		1.6.0_24
0.08/0.10	c os.name		Linux
0.08/0.10	c os.version		2.6.32-71.29.1.el6.x86_64
0.08/0.10	c os.arch		amd64
0.08/0.10	c Free memory 		501472288
0.08/0.10	c Max memory 		7480803328
0.08/0.10	c Total memory 		504102912
0.08/0.10	c Number of processors 	8
0.08/0.12	c Pseudo Boolean Optimization by upper bound
0.08/0.12	c --- Begin Solver configuration ---
0.08/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@4a913fe2
0.08/0.12	c Learn all clauses as in MiniSAT
0.08/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.08/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.08/0.12	c No reason simplification
0.08/0.12	c Armin Biere (Picosat) restarts strategy
0.08/0.12	c Glucose 2 learned constraints deletion strategy
0.08/0.12	c timeout=2147483s
0.08/0.12	c DB Simplification allowed=false
0.08/0.12	c --- End Solver configuration ---
0.08/0.12	c solving HOME/instance-3718121-1338251760.wbo
0.08/0.12	c reading problem ... 
0.08/0.17	c ... done. Wall clock time 0.052s.
0.08/0.17	c declared #vars     169
0.08/0.17	c internal #vars     197
0.08/0.17	c #constraints  101
0.08/0.17	c constraints type 
0.08/0.17	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 28
0.08/0.17	c org.sat4j.minisat.constraints.card.MinWatchCard => 50
0.08/0.17	c ignored satisfied constraints => 1
0.08/0.17	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 2
0.08/0.17	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 21
0.08/0.17	c 102 constraints processed.
0.08/0.17	c objective function length is 28 literals
0.70/0.46	c cleaning 2494 clauses out of 5000 with flag 13847/5000
1.14/0.64	c cleaning 4250 clauses out of 8509 with flag 30845/11003
1.34/0.77	c SATISFIABLE
1.34/0.77	c OPTIMIZING...
1.34/0.77	c Got one! Elapsed wall clock time (in seconds):0.646
1.34/0.77	o 1176
1.59/0.91	c cleaning 7726 clauses out of 15465 with flag 14642/22209
1.81/1.03	c Got one! Elapsed wall clock time (in seconds):0.906
1.81/1.03	o 1122
2.01/1.18	c cleaning 9111 clauses out of 18226 with flag 15651/32696
2.23/1.22	c Got one! Elapsed wall clock time (in seconds):1.097
2.23/1.22	o 1033
2.43/1.32	c cleaning 7210 clauses out of 14419 with flag 12867/38000
2.64/1.48	c cleaning 6605 clauses out of 13211 with flag 32836/44002
2.94/1.63	c cleaning 6805 clauses out of 13609 with flag 54468/51005
3.04/1.71	c Got one! Elapsed wall clock time (in seconds):1.587
3.04/1.71	o 1029
3.04/1.76	c cleaning 6103 clauses out of 12223 with flag 6307/56424
3.14/1.80	c Got one! Elapsed wall clock time (in seconds):1.683
3.14/1.80	o 1026
3.14/1.88	c Got one! Elapsed wall clock time (in seconds):1.76
3.14/1.88	o 972
3.24/1.91	c cleaning 6167 clauses out of 12360 with flag 3785/62664
3.34/2.01	c Got one! Elapsed wall clock time (in seconds):1.888
3.34/2.01	o 939
3.34/2.07	c cleaning 6031 clauses out of 12080 with flag 7544/68551
3.55/2.22	c cleaning 6018 clauses out of 12047 with flag 28217/74549
3.55/2.24	c Got one! Elapsed wall clock time (in seconds):2.116
3.55/2.24	o 523
3.64/2.35	c cleaning 5724 clauses out of 11460 with flag 18484/79980
3.74/2.42	c Got one! Elapsed wall clock time (in seconds):2.302
3.74/2.42	o 518
3.74/2.47	c cleaning 5564 clauses out of 11137 with flag 6972/85381
3.95/2.62	c cleaning 5784 clauses out of 11573 with flag 29527/91381
4.05/2.78	c cleaning 6389 clauses out of 12788 with flag 55840/98380
4.15/2.84	c Got one! Elapsed wall clock time (in seconds):2.717
4.15/2.84	o 515
4.25/2.92	c cleaning 5912 clauses out of 11833 with flag 12073/103814
4.35/3.09	c cleaning 5952 clauses out of 11921 with flag 36372/109814
4.57/3.22	c Got one! Elapsed wall clock time (in seconds):3.102
4.57/3.22	o 511
4.67/3.32	c Got one! Elapsed wall clock time (in seconds):3.198
4.67/3.32	o 505
4.76/3.40	c cleaning 8556 clauses out of 17129 with flag 8231/120974
4.76/3.44	c Got one! Elapsed wall clock time (in seconds):3.324
4.76/3.44	o 502
4.86/3.55	c cleaning 7171 clauses out of 14341 with flag 16931/126742
5.08/3.71	c cleaning 6581 clauses out of 13171 with flag 41550/132743
5.47/3.91	c cleaning 6792 clauses out of 13590 with flag 68783/139743
5.47/3.96	c Got one! Elapsed wall clock time (in seconds):3.843
5.47/3.96	o 497
5.68/4.06	c cleaning 6040 clauses out of 12094 with flag 12751/145039
5.96/4.23	c cleaning 6018 clauses out of 12054 with flag 39202/151039
5.96/4.28	c Got one! Elapsed wall clock time (in seconds):4.162
5.96/4.28	o 487
6.07/4.39	c cleaning 5850 clauses out of 11720 with flag 16738/156723
6.27/4.58	c cleaning 5925 clauses out of 11870 with flag 43859/162723
6.47/4.78	c cleaning 6453 clauses out of 12943 with flag 74513/169721
6.60/4.86	c Got one! Elapsed wall clock time (in seconds):4.742
6.60/4.86	o 483
6.70/4.94	c cleaning 5844 clauses out of 11693 with flag 13492/174924
6.70/4.99	c Got one! Elapsed wall clock time (in seconds):4.865
6.70/4.99	o 481
6.80/5.04	c Got one! Elapsed wall clock time (in seconds):4.923
6.80/5.04	o 475
6.80/5.09	c cleaning 6106 clauses out of 12216 with flag 7414/181291
6.91/5.12	c Got one! Elapsed wall clock time (in seconds):5.001
6.91/5.12	o 467
7.01/5.24	c cleaning 6036 clauses out of 12084 with flag 22081/187265
7.11/5.32	c Got one! Elapsed wall clock time (in seconds):5.197
7.11/5.32	o 465
7.11/5.38	c cleaning 5627 clauses out of 11262 with flag 9467/192479
7.32/5.54	c Got one! Elapsed wall clock time (in seconds):5.424
7.32/5.54	o 463
7.51/5.71	c cleaning 8160 clauses out of 16343 with flag 23048/203187
7.71/5.91	c cleaning 7088 clauses out of 14183 with flag 52893/209187
7.71/5.98	c Got one! Elapsed wall clock time (in seconds):5.859
7.71/5.98	o 457
7.83/6.08	c cleaning 6147 clauses out of 12320 with flag 15202/214412
8.03/6.27	c cleaning 6068 clauses out of 12169 with flag 44393/220408
8.23/6.48	c cleaning 6543 clauses out of 13105 with flag 78285/227412
8.36/6.58	c Got one! Elapsed wall clock time (in seconds):6.456
8.36/6.58	o 440
8.46/6.68	c cleaning 6178 clauses out of 12392 with flag 16137/233242
8.68/6.87	c cleaning 6088 clauses out of 12217 with flag 45338/239245
8.90/7.09	c cleaning 6554 clauses out of 13127 with flag 79184/246243
9.21/7.35	c cleaning 7272 clauses out of 14573 with flag 119679/254243
9.52/7.61	c cleaning 8146 clauses out of 16302 with flag 162477/263244
9.52/7.65	c Got one! Elapsed wall clock time (in seconds):7.527
9.52/7.65	o 434
9.52/7.69	c Got one! Elapsed wall clock time (in seconds):7.574
9.52/7.69	o 429
9.64/7.78	c cleaning 7042 clauses out of 14103 with flag 14511/269191
9.76/7.86	c Got one! Elapsed wall clock time (in seconds):7.741
9.76/7.86	o 425
9.86/7.94	c cleaning 6162 clauses out of 12341 with flag 11928/274471
10.07/8.10	c cleaning 6081 clauses out of 12179 with flag 42563/280471
10.07/8.13	c Got one! Elapsed wall clock time (in seconds):8.007
10.07/8.13	o 424
10.17/8.27	c Got one! Elapsed wall clock time (in seconds):8.148
10.17/8.27	o 419
10.27/8.31	c cleaning 6288 clauses out of 12596 with flag 5681/286969
10.47/8.51	c cleaning 6154 clauses out of 12309 with flag 38036/292970
10.68/8.72	c cleaning 6562 clauses out of 13154 with flag 74985/299969
10.68/8.77	c Got one! Elapsed wall clock time (in seconds):8.646
10.68/8.77	o 417
10.87/8.90	c cleaning 6140 clauses out of 12307 with flag 23593/305684
10.97/9.09	c cleaning 6073 clauses out of 12166 with flag 56458/311683
11.27/9.31	c cleaning 6544 clauses out of 13096 with flag 92963/318686
11.27/9.36	c Got one! Elapsed wall clock time (in seconds):9.238
11.27/9.36	o 412
11.48/9.50	c cleaning 6122 clauses out of 12251 with flag 23460/324385
11.58/9.69	c cleaning 6055 clauses out of 12131 with flag 56479/330387
11.89/9.92	c cleaning 6533 clauses out of 13076 with flag 95310/337387
12.09/10.18	c cleaning 7257 clauses out of 14541 with flag 139243/345385
12.29/10.32	c Got one! Elapsed wall clock time (in seconds):10.201
12.29/10.32	o 408
12.29/10.37	c cleaning 6632 clauses out of 13272 with flag 6358/351373
12.51/10.57	c cleaning 6302 clauses out of 12641 with flag 41232/357374
12.81/10.81	c cleaning 6661 clauses out of 13340 with flag 81143/364375
13.12/11.10	c cleaning 7324 clauses out of 14676 with flag 127370/372372
13.43/11.43	c cleaning 8161 clauses out of 16352 with flag 180901/381372
13.73/11.76	c Got one! Elapsed wall clock time (in seconds):11.641
13.73/11.76	o 407
13.83/11.82	c Got one! Elapsed wall clock time (in seconds):11.705
13.83/11.83	o 402
13.93/11.97	c cleaning 11894 clauses out of 23799 with flag 21237/396980
14.04/12.04	c Got one! Elapsed wall clock time (in seconds):11.917
14.04/12.04	o 401
14.14/12.13	c Got one! Elapsed wall clock time (in seconds):12.014
14.14/12.13	o 395
14.14/12.19	c cleaning 8854 clauses out of 17720 with flag 6321/402795
14.34/12.37	c Got one! Elapsed wall clock time (in seconds):12.247
14.34/12.37	o 392
14.54/12.58	c cleaning 9437 clauses out of 18888 with flag 30074/412817
14.76/12.79	c cleaning 7713 clauses out of 15452 with flag 62815/418818
14.87/12.84	c Got one! Elapsed wall clock time (in seconds):12.72
14.87/12.84	o 387
14.97/12.99	c cleaning 6670 clauses out of 13356 with flag 25072/424435
15.18/13.19	c cleaning 6337 clauses out of 12686 with flag 58266/430435
15.30/13.28	c Got one! Elapsed wall clock time (in seconds):13.162
15.30/13.28	o 381
15.39/13.36	c cleaning 5739 clauses out of 11497 with flag 12700/435583
15.61/13.58	c cleaning 5866 clauses out of 11757 with flag 48205/441582
15.91/13.85	c cleaning 6437 clauses out of 12891 with flag 90530/448582
16.12/14.06	c Got one! Elapsed wall clock time (in seconds):13.936
16.12/14.06	o 372
16.33/14.26	c cleaning 9554 clauses out of 19129 with flag 30476/461257
16.62/14.50	c cleaning 7774 clauses out of 15574 with flag 67138/467256
16.83/14.76	c cleaning 7375 clauses out of 14800 with flag 108743/474256
17.03/14.99	c Got one! Elapsed wall clock time (in seconds):14.866
17.03/14.99	o 370
17.34/15.23	c cleaning 9673 clauses out of 19368 with flag 30961/486199
17.55/15.47	c cleaning 7828 clauses out of 15698 with flag 69071/492202
17.84/15.76	c cleaning 7426 clauses out of 14866 with flag 114567/499198
18.15/16.06	c cleaning 7698 clauses out of 15440 with flag 163004/507198
18.45/16.39	c cleaning 8355 clauses out of 16742 with flag 215825/516198
18.86/16.73	c cleaning 9195 clauses out of 18391 with flag 268500/526202
18.86/16.77	c Got one! Elapsed wall clock time (in seconds):16.65
18.86/16.77	o 367
19.07/16.94	c cleaning 7123 clauses out of 14272 with flag 25912/531278
19.27/17.18	c cleaning 6567 clauses out of 13149 with flag 63529/537278
19.58/17.46	c cleaning 6777 clauses out of 13579 with flag 105511/544275
19.89/17.78	c cleaning 7384 clauses out of 14802 with flag 154201/552275
20.30/18.15	c cleaning 8198 clauses out of 16418 with flag 209565/561275
20.71/18.56	c cleaning 9094 clauses out of 18220 with flag 273196/571275
21.21/19.02	c cleaning 10046 clauses out of 20126 with flag 342946/582275
21.41/19.25	c Got one! Elapsed wall clock time (in seconds):19.126
21.41/19.25	o 362
21.51/19.32	c Got one! Elapsed wall clock time (in seconds):19.2
21.51/19.32	o 356
21.51/19.36	c Got one! Elapsed wall clock time (in seconds):19.242
21.51/19.36	o 346
21.61/19.46	c Got one! Elapsed wall clock time (in seconds):19.338
21.61/19.46	o 344
21.71/19.53	c cleaning 11129 clauses out of 22282 with flag 6967/594477
21.93/19.72	c cleaning 8572 clauses out of 17153 with flag 34357/600477
21.93/19.77	c Got one! Elapsed wall clock time (in seconds):19.652
21.93/19.77	o 343
22.03/19.87	c Got one! Elapsed wall clock time (in seconds):19.751
22.03/19.87	o 342
22.12/19.96	c cleaning 7294 clauses out of 14608 with flag 12845/606504
22.42/20.21	c cleaning 6649 clauses out of 13316 with flag 52023/612506
22.62/20.42	c cleaning 6825 clauses out of 13667 with flag 86546/619506
22.82/20.66	c cleaning 7421 clauses out of 14841 with flag 124860/627505
23.13/20.93	c cleaning 8203 clauses out of 16419 with flag 169799/636504
23.13/20.97	c Got one! Elapsed wall clock time (in seconds):20.849
23.13/20.97	o 340
23.32/21.14	c cleaning 6716 clauses out of 13440 with flag 25219/641728
23.53/21.34	c Got one! Elapsed wall clock time (in seconds):21.218
23.53/21.34	o 339
23.73/21.59	c cleaning 8772 clauses out of 17555 with flag 32476/652559
24.03/21.86	c cleaning 7382 clauses out of 14781 with flag 72098/658557
24.33/22.14	c cleaning 7191 clauses out of 14399 with flag 115160/665557
24.63/22.46	c cleaning 7592 clauses out of 15209 with flag 163295/673558
24.83/22.61	c Got one! Elapsed wall clock time (in seconds):22.489
24.83/22.61	o 338
24.83/22.66	c cleaning 6752 clauses out of 13518 with flag 6808/679459
25.13/22.92	c cleaning 6373 clauses out of 12767 with flag 45789/685460
25.43/23.21	c cleaning 6685 clauses out of 13397 with flag 88783/692463
25.74/23.51	c cleaning 7347 clauses out of 14709 with flag 135517/700460
26.04/23.88	c cleaning 8168 clauses out of 16361 with flag 189544/709459
26.46/24.26	c cleaning 9091 clauses out of 18196 with flag 246602/719462
26.56/24.30	c Got one! Elapsed wall clock time (in seconds):24.183
26.56/24.30	o 335
26.66/24.50	c cleaning 7251 clauses out of 14503 with flag 28178/724860
26.98/24.77	c cleaning 6616 clauses out of 13251 with flag 68932/730859
27.29/25.09	c cleaning 6813 clauses out of 13635 with flag 115850/737859
27.69/25.41	c cleaning 7397 clauses out of 14822 with flag 166120/745859
28.00/25.79	c cleaning 8207 clauses out of 16428 with flag 221454/754862
28.50/26.23	c cleaning 9101 clauses out of 18218 with flag 284343/764859
28.90/26.68	c cleaning 10043 clauses out of 20118 with flag 351203/775860
29.31/27.07	c Got one! Elapsed wall clock time (in seconds):26.95
29.31/27.07	o 331
29.64/27.39	c cleaning 12666 clauses out of 25341 with flag 37504/791126
29.76/27.42	c Got one! Elapsed wall clock time (in seconds):27.304
29.76/27.42	o 327
30.05/27.71	c cleaning 9081 clauses out of 18180 with flag 39247/796631
30.36/28.01	c cleaning 7541 clauses out of 15099 with flag 80461/802631
30.68/28.31	c cleaning 7273 clauses out of 14560 with flag 124227/809633
31.00/28.64	c cleaning 7629 clauses out of 15288 with flag 173837/817634
31.40/29.02	c cleaning 8313 clauses out of 16656 with flag 230238/826631
31.84/29.44	c cleaning 9160 clauses out of 18345 with flag 293688/836633
32.36/29.92	c cleaning 10078 clauses out of 20184 with flag 363973/847632
32.57/30.17	c Got one! Elapsed wall clock time (in seconds):30.051
32.57/30.17	o 323
32.67/30.28	c Got one! Elapsed wall clock time (in seconds):30.16
32.67/30.28	o 281
32.87/30.48	c cleaning 10731 clauses out of 21497 with flag 23445/859023
33.18/30.78	c cleaning 8370 clauses out of 16767 with flag 66007/865024
33.49/31.07	c cleaning 7681 clauses out of 15396 with flag 110758/872023
33.60/31.16	c Got one! Elapsed wall clock time (in seconds):31.044
33.60/31.16	o 276
33.80/31.33	c cleaning 6618 clauses out of 13261 with flag 22147/877569
33.90/31.47	c Got one! Elapsed wall clock time (in seconds):31.352
33.90/31.47	o 186
34.00/31.53	c Got one! Elapsed wall clock time (in seconds):31.41
34.00/31.53	o 149
34.00/31.56	c Got one! Elapsed wall clock time (in seconds):31.435
34.00/31.56	o 137
34.11/31.60	c cleaning 6364 clauses out of 12736 with flag 5758/883662
34.21/31.70	c Got one! Elapsed wall clock time (in seconds):31.584
34.21/31.70	o 133
34.31/31.82	c cleaning 6000 clauses out of 12008 with flag 17649/889298
34.51/32.02	c cleaning 5993 clauses out of 12009 with flag 47649/895299
34.71/32.25	c cleaning 6502 clauses out of 13016 with flag 83725/902299
35.01/32.54	c cleaning 7253 clauses out of 14512 with flag 126261/910297
35.31/32.85	c cleaning 8130 clauses out of 16260 with flag 175368/919298
35.31/32.87	c Got one! Elapsed wall clock time (in seconds):32.75
35.31/32.87	o 132
35.31/32.87	c Got one! Elapsed wall clock time (in seconds):32.751
35.31/32.87	o 80
35.31/32.88	c starts		: 245
35.31/32.88	c conflicts		: 919491
35.31/32.88	c decisions		: 1336426
35.31/32.88	c propagations		: 16490874
35.31/32.88	c inspects		: 280575259
35.31/32.88	c shortcuts		: 0
35.31/32.88	c learnt literals	: 1
35.31/32.88	c learnt binary clauses	: 1
35.31/32.88	c learnt ternary clauses	: 56
35.31/32.88	c learnt constraints	: 919490
35.31/32.88	c ignored constraints	: 0
35.31/32.88	c root simplifications	: 0
35.31/32.88	c removed literals (reason simplification)	: 0
35.31/32.88	c reason swapping (by a shorter reason)	: 0
35.31/32.88	c Calls to reduceDB	: 126
35.31/32.88	c Number of update (reduction) of LBD	: 225026
35.31/32.88	c number of reductions to clauses (during analyze)	: 0
35.31/32.88	c number of learned constraints concerned by reduction	: 0
35.31/32.88	c number of learning phase by resolution	: 0
35.31/32.88	c number of learning phase by cutting planes	: 0
35.31/32.88	c speed (assignments/second)	: 504308.07339449535
35.31/32.88	c non guided choices	1797
35.31/32.88	c learnt constraints type 
35.31/32.88	c constraints type 
35.31/32.88	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 28
35.31/32.88	c org.sat4j.minisat.constraints.card.MinWatchCard => 50
35.31/32.88	c ignored satisfied constraints => 1
35.31/32.88	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 2
35.31/32.88	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 21
35.31/32.88	c 102 constraints processed.
35.31/32.88	s OPTIMUM FOUND
35.31/32.88	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 
35.31/32.88	c objective function=80
35.31/32.88	c Total wall clock time (in seconds): 32.757

Verifier Data

OK	80

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-3718121-1338251760/watcher-3718121-1338251760 -o /tmp/evaluation-result-3718121-1338251760/solver-3718121-1338251760 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3718121-1338251760.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.30 2.22 2.08 3/195 16777
/proc/meminfo: memFree=31902936/32873844 swapFree=6872/6872
[pid=16777] ppid=16775 vsize=272 CPUtime=0 cores=0,2,4,6
/proc/16777/stat : 16777 (java) D 16775 16777 13427 0 -1 4202496 80 0 0 0 0 0 0 0 20 0 1 0 291304480 278528 33 33554432000 1073741824 1073778376 140733522331024 140733522328200 270109076775 0 0 4096 0 18446744072100609316 0 0 17 4 0 0 0 0 0
/proc/16777/statm: 68 33 25 9 0 25 0

[startup+0.00948507 s]
/proc/loadavg: 2.30 2.22 2.08 3/195 16777
/proc/meminfo: memFree=31902936/32873844 swapFree=6872/6872
[pid=16777] ppid=16775 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/16777/stat : 16777 (java) D 16775 16777 13427 0 -1 4202496 251 0 0 0 0 0 0 0 20 0 1 0 291304480 9515008 185 33554432000 1073741824 1073778376 140733522331024 140733522322248 270118055351 0 0 4096 0 18446744072100609316 0 0 17 4 0 0 0 0 0
/proc/16777/statm: 2323 185 142 9 0 71 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9292

[startup+0.100167 s]
/proc/loadavg: 2.30 2.22 2.08 3/195 16777
/proc/meminfo: memFree=31902936/32873844 swapFree=6872/6872
[pid=16777] ppid=16775 vsize=9558416 CPUtime=0.08 cores=0,2,4,6
/proc/16777/stat : 16777 (java) S 16775 16777 13427 0 -1 4202496 4219 0 1 0 8 0 0 0 20 0 18 0 291304480 9787817984 5426 33554432000 1073741824 1073778376 140734192307984 140734192299120 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16777/statm: 2389604 5427 2100 9 0 2380296 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9558416

[startup+0.300147 s]
/proc/loadavg: 2.30 2.22 2.08 3/195 16777
/proc/meminfo: memFree=31902936/32873844 swapFree=6872/6872
[pid=16777] ppid=16775 vsize=9624980 CPUtime=0.53 cores=0,2,4,6
/proc/16777/stat : 16777 (java) S 16775 16777 13427 0 -1 4202496 7311 0 1 0 52 1 0 0 20 0 19 0 291304480 9855979520 7503 33554432000 1073741824 1073778376 140734192307984 140734192299120 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16777/statm: 2406245 7503 2232 9 0 2396937 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 9624980

[startup+0.700288 s]
/proc/loadavg: 2.30 2.22 2.08 3/195 16777
/proc/meminfo: memFree=31902936/32873844 swapFree=6872/6872
[pid=16777] ppid=16775 vsize=9624980 CPUtime=1.34 cores=0,2,4,6
/proc/16777/stat : 16777 (java) S 16775 16777 13427 0 -1 4202496 16220 0 1 0 131 3 0 0 20 0 19 0 291304480 9855979520 15434 33554432000 1073741824 1073778376 140734192307984 140734192299120 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16777/statm: 2406245 15434 2270 9 0 2396937 0
Current children cumulated CPU time (s) 1.34
Current children cumulated vsize (KiB) 9624980

[startup+1.50076 s]
/proc/loadavg: 2.30 2.22 2.08 4/213 16796
/proc/meminfo: memFree=31844644/32873844 swapFree=6872/6872
[pid=16777] ppid=16775 vsize=9624980 CPUtime=2.83 cores=0,2,4,6
/proc/16777/stat : 16777 (java) S 16775 16777 13427 0 -1 4202496 21696 0 1 0 279 4 0 0 20 0 19 0 291304480 9855979520 16797 33554432000 1073741824 1073778376 140734192307984 140734192299120 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16777/statm: 2406245 16797 2271 9 0 2396937 0
[pid=16777/tid=16779] ppid=16775 vsize=9624980 CPUtime=1.39 cores=0,2,4,6
/proc/16777/task/16779/stat : 16779 (java) R 16775 16777 13427 0 -1 4202560 2460 0 1 0 139 0 0 0 20 0 19 0 291304482 9855979520 16797 33554432000 1073741824 1073778376 140734192307984 139750610043288 139750468395808 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=16777/tid=16780] ppid=16775 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/16777/task/16780/stat : 16780 (java) S 16775 16777 13427 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 19 0 291304483 9855979520 16797 33554432000 1073741824 1073778376 140734192307984 139750588144552 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16777/tid=16781] ppid=16775 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/16777/task/16781/stat : 16781 (java) S 16775 16777 13427 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291304483 9855979520 16797 33554432000 1073741824 1073778376 140734192307984 139750587092008 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16777/tid=16782] ppid=16775 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/16777/task/16782/stat : 16782 (java) S 16775 16777 13427 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 291304483 9855979520 16797 33554432000 1073741824 1073778376 140734192307984 139750384069288 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16777/tid=16783] ppid=16775 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/16777/task/16783/stat : 16783 (java) S 16775 16777 13427 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 291304483 9855979520 16797 33554432000 1073741824 1073778376 140734192307984 139750383016744 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16777/tid=16784] ppid=16775 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/16777/task/16784/stat : 16784 (java) S 16775 16777 13427 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 291304483 9855979520 16797 33554432000 1073741824 1073778376 140734192307984 139750381963688 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16777/tid=16785] ppid=16775 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/16777/task/16785/stat : 16785 (java) S 16775 16777 13427 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 291304483 9855979520 16797 33554432000 1073741824 1073778376 140734192307984 139750380911144 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16777/tid=16786] ppid=16775 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/16777/task/16786/stat : 16786 (java) S 16775 16777 13427 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 291304483 9855979520 16797 33554432000 1073741824 1073778376 140734192307984 139750379858088 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16777/tid=16787] ppid=16775 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/16777/task/16787/stat : 16787 (java) S 16775 16777 13427 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 291304483 9855979520 16797 33554432000 1073741824 1073778376 140734192307984 139750378805544 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16777/tid=16788] ppid=16775 vsize=9624980 CPUtime=0.04 cores=0,2,4,6
/proc/16777/task/16788/stat : 16788 (java) S 16775 16777 13427 0 -1 4202560 29 0 0 0 4 0 0 0 20 0 19 0 291304484 9855979520 16797 33554432000 1073741824 1073778376 140734192307984 139750366608232 270121613225 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16777/tid=16789] ppid=16775 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/16777/task/16789/stat : 16789 (java) S 16775 16777 13427 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 291304484 9855979520 16797 33554432000 1073741824 1073778376 140734192307984 139750365554552 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16777/tid=16790] ppid=16775 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/16777/task/16790/stat : 16790 (java) S 16775 16777 13427 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291304484 9855979520 16797 33554432000 1073741824 1073778376 140734192307984 139750364501384 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16777/tid=16791] ppid=16775 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/16777/task/16791/stat : 16791 (java) S 16775 16777 13427 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291304487 9855979520 16797 33554432000 1073741824 1073778376 140734192307984 139750363450128 270121621280 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16777/tid=16792] ppid=16775 vsize=9624980 CPUtime=0.34 cores=0,2,4,6
/proc/16777/task/16792/stat : 16792 (java) S 16775 16777 13427 0 -1 4202560 3848 0 0 0 34 0 0 0 20 0 19 0 291304487 9855979520 16797 33554432000 1073741824 1073778376 140734192307984 139750362396984 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16777/tid=16793] ppid=16775 vsize=9624980 CPUtime=0.97 cores=0,2,4,6
/proc/16777/task/16793/stat : 16793 (java) R 16775 16777 13427 0 -1 4202560 14110 0 0 0 95 2 0 0 20 0 19 0 291304487 9855979520 16797 33554432000 1073741824 1073778376 140734192307984 139750361330536 139750612298479 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=16777/tid=16794] ppid=16775 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/16777/task/16794/stat : 16794 (java) S 16775 16777 13427 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291304487 9855979520 16797 33554432000 1073741824 1073778376 140734192307984 139750360291576 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16777/tid=16795] ppid=16775 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/16777/task/16795/stat : 16795 (java) S 16775 16777 13427 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291304487 9855979520 16797 33554432000 1073741824 1073778376 140734192307984 139750359239240 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16777/tid=16796] ppid=16775 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/16777/task/16796/stat : 16796 (java) S 16775 16777 13427 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291304498 9855979520 16797 33554432000 1073741824 1073778376 140734192307984 139750358185512 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 2.83
Current children cumulated vsize (KiB) 9624980

[startup+3.10064 s]
/proc/loadavg: 2.30 2.22 2.08 3/213 16796
/proc/meminfo: memFree=31843156/32873844 swapFree=6872/6872
[pid=16777] ppid=16775 vsize=9624980 CPUtime=4.46 cores=0,2,4,6
/proc/16777/stat : 16777 (java) S 16775 16777 13427 0 -1 4202496 21708 0 1 0 442 4 0 0 20 0 19 0 291304480 9855979520 16799 33554432000 1073741824 1073778376 140734192307984 140734192299120 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16777/statm: 2406245 16799 2271 9 0 2396937 0
[pid=16777/tid=16779] ppid=16775 vsize=9624980 CPUtime=2.88 cores=0,2,4,6
/proc/16777/task/16779/stat : 16779 (java) S 16775 16777 13427 0 -1 4202560 2470 0 1 0 288 0 0 0 20 0 19 0 291304482 9855979520 16799 33554432000 1073741824 1073778376 140734192307984 139750610043288 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16777/tid=16780] ppid=16775 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/16777/task/16780/stat : 16780 (java) S 16775 16777 13427 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 19 0 291304483 9855979520 16799 33554432000 1073741824 1073778376 140734192307984 139750588144552 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16777/tid=16781] ppid=16775 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/16777/task/16781/stat : 16781 (java) S 16775 16777 13427 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291304483 9855979520 16799 33554432000 1073741824 1073778376 140734192307984 139750587092008 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16777/tid=16782] ppid=16775 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/16777/task/16782/stat : 16782 (java) S 16775 16777 13427 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 291304483 9855979520 16799 33554432000 1073741824 1073778376 140734192307984 139750384069288 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16777/tid=16783] ppid=16775 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/16777/task/16783/stat : 16783 (java) S 16775 16777 13427 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 291304483 9855979520 16799 33554432000 1073741824 1073778376 140734192307984 139750383016744 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16777/tid=16784] ppid=16775 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/16777/task/16784/stat : 16784 (java) S 16775 16777 13427 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 291304483 9855979520 16799 33554432000 1073741824 1073778376 140734192307984 139750381963688 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16777/tid=16785] ppid=16775 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/16777/task/16785/stat : 16785 (java) S 16775 16777 13427 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 291304483 9855979520 16799 33554432000 1073741824 1073778376 140734192307984 139750380911144 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16777/tid=16786] ppid=16775 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/16777/task/16786/stat : 16786 (java) S 16775 16777 13427 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 291304483 9855979520 16799 33554432000 1073741824 1073778376 140734192307984 139750379858088 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16777/tid=16787] ppid=16775 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/16777/task/16787/stat : 16787 (java) S 16775 16777 13427 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 291304483 9855979520 16799 33554432000 1073741824 1073778376 140734192307984 139750378805544 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16777/tid=16788] ppid=16775 vsize=9624980 CPUtime=0.13 cores=0,2,4,6
/proc/16777/task/16788/stat : 16788 (java) R 16775 16777 13427 0 -1 4202560 29 0 0 0 13 0 0 0 20 0 19 0 291304484 9855979520 16799 33554432000 1073741824 1073778376 140734192307984 139750366607088 139750617810407 0 0 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=16777/tid=16789] ppid=16775 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/16777/task/16789/stat : 16789 (java) S 16775 16777 13427 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 291304484 9855979520 16799 33554432000 1073741824 1073778376 140734192307984 139750365554552 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16777/tid=16790] ppid=16775 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/16777/task/16790/stat : 16790 (java) S 16775 16777 13427 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291304484 9855979520 16799 33554432000 1073741824 1073778376 140734192307984 139750364501384 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16777/tid=16791] ppid=16775 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/16777/task/16791/stat : 16791 (java) S 16775 16777 13427 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291304487 9855979520 16799 33554432000 1073741824 1073778376 140734192307984 139750363450128 270121621280 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16777/tid=16792] ppid=16775 vsize=9624980 CPUtime=0.34 cores=0,2,4,6
/proc/16777/task/16792/stat : 16792 (java) S 16775 16777 13427 0 -1 4202560 3848 0 0 0 34 0 0 0 20 0 19 0 291304487 9855979520 16799 33554432000 1073741824 1073778376 140734192307984 139750362396984 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16777/tid=16793] ppid=16775 vsize=9624980 CPUtime=0.98 cores=0,2,4,6
/proc/16777/task/16793/stat : 16793 (java) S 16775 16777 13427 0 -1 4202560 14110 0 0 0 95 3 0 0 20 0 19 0 291304487 9855979520 16799 33554432000 1073741824 1073778376 140734192307984 139750361344440 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16777/tid=16794] ppid=16775 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/16777/task/16794/stat : 16794 (java) S 16775 16777 13427 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291304487 9855979520 16799 33554432000 1073741824 1073778376 140734192307984 139750360291576 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16777/tid=16795] ppid=16775 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/16777/task/16795/stat : 16795 (java) S 16775 16777 13427 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291304487 9855979520 16799 33554432000 1073741824 1073778376 140734192307984 139750359239240 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16777/tid=16796] ppid=16775 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/16777/task/16796/stat : 16796 (java) S 16775 16777 13427 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291304498 9855979520 16799 33554432000 1073741824 1073778376 140734192307984 139750358185512 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 4.46
Current children cumulated vsize (KiB) 9624980

[startup+6.30068 s]
/proc/loadavg: 2.27 2.22 2.08 3/213 16796
/proc/meminfo: memFree=31844768/32873844 swapFree=6872/6872
[pid=16777] ppid=16775 vsize=9624980 CPUtime=8.13 cores=0,2,4,6
/proc/16777/stat : 16777 (java) S 16775 16777 13427 0 -1 4202496 23575 0 1 0 808 5 0 0 20 0 19 0 291304480 9855979520 16198 33554432000 1073741824 1073778376 140734192307984 140734192299120 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16777/statm: 2406245 16198 2271 9 0 2396937 0
[pid=16777/tid=16779] ppid=16775 vsize=9624980 CPUtime=5.86 cores=0,2,4,6
/proc/16777/task/16779/stat : 16779 (java) R 16775 16777 13427 0 -1 4202560 2488 0 1 0 586 0 0 0 20 0 19 0 291304482 9855979520 16198 33554432000 1073741824 1073778376 140734192307984 139750610043168 139750468416527 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=16777/tid=16780] ppid=16775 vsize=9624980 CPUtime=0.01 cores=0,2,4,6
/proc/16777/task/16780/stat : 16780 (java) S 16775 16777 13427 0 -1 4202560 15 0 0 0 1 0 0 0 20 0 19 0 291304483 9855979520 16198 33554432000 1073741824 1073778376 140734192307984 139750588144552 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16777/tid=16781] ppid=16775 vsize=9624980 CPUtime=0.02 cores=0,2,4,6
/proc/16777/task/16781/stat : 16781 (java) S 16775 16777 13427 0 -1 4202560 10 0 0 0 2 0 0 0 20 0 19 0 291304483 9855979520 16198 33554432000 1073741824 1073778376 140734192307984 139750587092008 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16777/tid=16782] ppid=16775 vsize=9624980 CPUtime=0.01 cores=0,2,4,6
/proc/16777/task/16782/stat : 16782 (java) S 16775 16777 13427 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 19 0 291304483 9855979520 16198 33554432000 1073741824 1073778376 140734192307984 139750384069288 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16777/tid=16783] ppid=16775 vsize=9624980 CPUtime=0.01 cores=0,2,4,6
/proc/16777/task/16783/stat : 16783 (java) S 16775 16777 13427 0 -1 4202560 5 0 0 0 1 0 0 0 20 0 19 0 291304483 9855979520 16198 33554432000 1073741824 1073778376 140734192307984 139750383016744 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16777/tid=16784] ppid=16775 vsize=9624980 CPUtime=0.01 cores=0,2,4,6
/proc/16777/task/16784/stat : 16784 (java) S 16775 16777 13427 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 19 0 291304483 9855979520 16198 33554432000 1073741824 1073778376 140734192307984 139750381963688 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16777/tid=16785] ppid=16775 vsize=9624980 CPUtime=0.01 cores=0,2,4,6
/proc/16777/task/16785/stat : 16785 (java) S 16775 16777 13427 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 19 0 291304483 9855979520 16198 33554432000 1073741824 1073778376 140734192307984 139750380911144 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16777/tid=16786] ppid=16775 vsize=9624980 CPUtime=0.01 cores=0,2,4,6
/proc/16777/task/16786/stat : 16786 (java) S 16775 16777 13427 0 -1 4202560 6 0 0 0 1 0 0 0 20 0 19 0 291304483 9855979520 16198 33554432000 1073741824 1073778376 140734192307984 139750379858088 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16777/tid=16787] ppid=16775 vsize=9624980 CPUtime=0.01 cores=0,2,4,6
/proc/16777/task/16787/stat : 16787 (java) S 16775 16777 13427 0 -1 4202560 6 0 0 0 1 0 0 0 20 0 19 0 291304483 9855979520 16198 33554432000 1073741824 1073778376 140734192307984 139750378805544 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16777/tid=16788] ppid=16775 vsize=9624980 CPUtime=0.28 cores=0,2,4,6
/proc/16777/task/16788/stat : 16788 (java) S 16775 16777 13427 0 -1 4202560 54 0 0 0 28 0 0 0 20 0 19 0 291304484 9855979520 16198 33554432000 1073741824 1073778376 140734192307984 139750366608232 270121613225 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16777/tid=16789] ppid=16775 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/16777/task/16789/stat : 16789 (java) S 16775 16777 13427 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 291304484 9855979520 16198 33554432000 1073741824 1073778376 140734192307984 139750365554552 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16777/tid=16790] ppid=16775 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/16777/task/16790/stat : 16790 (java) S 16775 16777 13427 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291304484 9855979520 16198 33554432000 1073741824 1073778376 140734192307984 139750364501384 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16777/tid=16791] ppid=16775 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/16777/task/16791/stat : 16791 (java) S 16775 16777 13427 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291304487 9855979520 16198 33554432000 1073741824 1073778376 140734192307984 139750363450128 270121621280 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16777/tid=16792] ppid=16775 vsize=9624980 CPUtime=0.35 cores=0,2,4,6
/proc/16777/task/16792/stat : 16792 (java) S 16775 16777 13427 0 -1 4202560 3848 0 0 0 35 0 0 0 20 0 19 0 291304487 9855979520 16198 33554432000 1073741824 1073778376 140734192307984 139750362396984 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16777/tid=16793] ppid=16775 vsize=9624980 CPUtime=1.35 cores=0,2,4,6
/proc/16777/task/16793/stat : 16793 (java) S 16775 16777 13427 0 -1 4202560 15927 0 0 0 132 3 0 0 20 0 19 0 291304487 9855979520 16198 33554432000 1073741824 1073778376 140734192307984 139750361344440 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16777/tid=16794] ppid=16775 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/16777/task/16794/stat : 16794 (java) S 16775 16777 13427 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291304487 9855979520 16198 33554432000 1073741824 1073778376 140734192307984 139750360291576 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16777/tid=16795] ppid=16775 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/16777/task/16795/stat : 16795 (java) S 16775 16777 13427 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291304487 9855979520 16198 33554432000 1073741824 1073778376 140734192307984 139750359239240 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16777/tid=16796] ppid=16775 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/16777/task/16796/stat : 16796 (java) S 16775 16777 13427 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291304498 9855979520 16198 33554432000 1073741824 1073778376 140734192307984 139750358185512 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 8.13
Current children cumulated vsize (KiB) 9624980

[startup+12.7008 s]

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

/proc/16777/task/16780/stat : 16780 (java) S 16775 16777 13427 0 -1 4202560 15 0 0 0 12 0 0 0 20 0 19 0 291304483 9855979520 16232 33554432000 1073741824 1073778376 140734192307984 139750588144552 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16777/tid=16781] ppid=16775 vsize=9624980 CPUtime=0.13 cores=0,2,4,6
/proc/16777/task/16781/stat : 16781 (java) S 16775 16777 13427 0 -1 4202560 14 0 0 0 13 0 0 0 20 0 19 0 291304483 9855979520 16232 33554432000 1073741824 1073778376 140734192307984 139750587092008 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16777/tid=16782] ppid=16775 vsize=9624980 CPUtime=0.13 cores=0,2,4,6
/proc/16777/task/16782/stat : 16782 (java) S 16775 16777 13427 0 -1 4202560 13 0 0 0 13 0 0 0 20 0 19 0 291304483 9855979520 16232 33554432000 1073741824 1073778376 140734192307984 139750384069288 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16777/tid=16783] ppid=16775 vsize=9624980 CPUtime=0.12 cores=0,2,4,6
/proc/16777/task/16783/stat : 16783 (java) S 16775 16777 13427 0 -1 4202560 9 0 0 0 12 0 0 0 20 0 19 0 291304483 9855979520 16232 33554432000 1073741824 1073778376 140734192307984 139750383016744 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16777/tid=16784] ppid=16775 vsize=9624980 CPUtime=0.12 cores=0,2,4,6
/proc/16777/task/16784/stat : 16784 (java) S 16775 16777 13427 0 -1 4202560 25 0 0 0 12 0 0 0 20 0 19 0 291304483 9855979520 16232 33554432000 1073741824 1073778376 140734192307984 139750381963688 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16777/tid=16785] ppid=16775 vsize=9624980 CPUtime=0.12 cores=0,2,4,6
/proc/16777/task/16785/stat : 16785 (java) S 16775 16777 13427 0 -1 4202560 14 0 0 0 12 0 0 0 20 0 19 0 291304483 9855979520 16232 33554432000 1073741824 1073778376 140734192307984 139750380911144 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16777/tid=16786] ppid=16775 vsize=9624980 CPUtime=0.13 cores=0,2,4,6
/proc/16777/task/16786/stat : 16786 (java) S 16775 16777 13427 0 -1 4202560 8 0 0 0 13 0 0 0 20 0 19 0 291304483 9855979520 16232 33554432000 1073741824 1073778376 140734192307984 139750379858088 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16777/tid=16787] ppid=16775 vsize=9624980 CPUtime=0.11 cores=0,2,4,6
/proc/16777/task/16787/stat : 16787 (java) S 16775 16777 13427 0 -1 4202560 8 0 0 0 11 0 0 0 20 0 19 0 291304483 9855979520 16232 33554432000 1073741824 1073778376 140734192307984 139750378805544 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16777/tid=16788] ppid=16775 vsize=9624980 CPUtime=1.09 cores=0,2,4,6
/proc/16777/task/16788/stat : 16788 (java) S 16775 16777 13427 0 -1 4202560 56 0 0 0 109 0 0 0 20 0 19 0 291304484 9855979520 16232 33554432000 1073741824 1073778376 140734192307984 139750366608232 270121613225 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16777/tid=16789] ppid=16775 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/16777/task/16789/stat : 16789 (java) S 16775 16777 13427 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 291304484 9855979520 16232 33554432000 1073741824 1073778376 140734192307984 139750365554552 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16777/tid=16790] ppid=16775 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/16777/task/16790/stat : 16790 (java) S 16775 16777 13427 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291304484 9855979520 16232 33554432000 1073741824 1073778376 140734192307984 139750364501384 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16777/tid=16791] ppid=16775 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/16777/task/16791/stat : 16791 (java) S 16775 16777 13427 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291304487 9855979520 16232 33554432000 1073741824 1073778376 140734192307984 139750363450128 270121621280 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16777/tid=16792] ppid=16775 vsize=9624980 CPUtime=0.37 cores=0,2,4,6
/proc/16777/task/16792/stat : 16792 (java) S 16775 16777 13427 0 -1 4202560 3848 0 0 0 37 0 0 0 20 0 19 0 291304487 9855979520 16232 33554432000 1073741824 1073778376 140734192307984 139750362396984 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16777/tid=16793] ppid=16775 vsize=9624980 CPUtime=1.43 cores=0,2,4,6
/proc/16777/task/16793/stat : 16793 (java) S 16775 16777 13427 0 -1 4202560 15930 0 0 0 140 3 0 0 20 0 19 0 291304487 9855979520 16232 33554432000 1073741824 1073778376 140734192307984 139750361344440 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16777/tid=16794] ppid=16775 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/16777/task/16794/stat : 16794 (java) S 16775 16777 13427 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291304487 9855979520 16232 33554432000 1073741824 1073778376 140734192307984 139750360291576 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16777/tid=16795] ppid=16775 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/16777/task/16795/stat : 16795 (java) S 16775 16777 13427 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 291304487 9855979520 16232 33554432000 1073741824 1073778376 140734192307984 139750359239240 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16777/tid=16796] ppid=16775 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/16777/task/16796/stat : 16796 (java) S 16775 16777 13427 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291304498 9855979520 16232 33554432000 1073741824 1073778376 140734192307984 139750358185512 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 34.42
Current children cumulated vsize (KiB) 9624980

[startup+32.3007 s]
/proc/loadavg: 2.18 2.20 2.08 3/213 16853
/proc/meminfo: memFree=31822372/32873844 swapFree=6872/6872
[pid=16777] ppid=16775 vsize=9624980 CPUtime=34.81 cores=0,2,4,6
/proc/16777/stat : 16777 (java) S 16775 16777 13427 0 -1 4202496 23704 0 1 0 3474 7 0 0 20 0 19 0 291304480 9855979520 16232 33554432000 1073741824 1073778376 140734192307984 140734192299120 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16777/statm: 2406245 16232 2273 9 0 2396937 0
[pid=16777/tid=16779] ppid=16775 vsize=9624980 CPUtime=30.66 cores=0,2,4,6
/proc/16777/task/16779/stat : 16779 (java) R 16775 16777 13427 0 -1 4202560 2578 0 1 0 3066 0 0 0 20 0 19 0 291304482 9855979520 16232 33554432000 1073741824 1073778376 140734192307984 139750610043288 139750468395751 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=16777/tid=16780] ppid=16775 vsize=9624980 CPUtime=0.12 cores=0,2,4,6
/proc/16777/task/16780/stat : 16780 (java) S 16775 16777 13427 0 -1 4202560 15 0 0 0 12 0 0 0 20 0 19 0 291304483 9855979520 16232 33554432000 1073741824 1073778376 140734192307984 139750588144552 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16777/tid=16781] ppid=16775 vsize=9624980 CPUtime=0.13 cores=0,2,4,6
/proc/16777/task/16781/stat : 16781 (java) S 16775 16777 13427 0 -1 4202560 14 0 0 0 13 0 0 0 20 0 19 0 291304483 9855979520 16232 33554432000 1073741824 1073778376 140734192307984 139750587092008 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16777/tid=16782] ppid=16775 vsize=9624980 CPUtime=0.13 cores=0,2,4,6
/proc/16777/task/16782/stat : 16782 (java) S 16775 16777 13427 0 -1 4202560 13 0 0 0 13 0 0 0 20 0 19 0 291304483 9855979520 16232 33554432000 1073741824 1073778376 140734192307984 139750384069288 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16777/tid=16783] ppid=16775 vsize=9624980 CPUtime=0.12 cores=0,2,4,6
/proc/16777/task/16783/stat : 16783 (java) S 16775 16777 13427 0 -1 4202560 9 0 0 0 12 0 0 0 20 0 19 0 291304483 9855979520 16232 33554432000 1073741824 1073778376 140734192307984 139750383016744 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16777/tid=16784] ppid=16775 vsize=9624980 CPUtime=0.12 cores=0,2,4,6
/proc/16777/task/16784/stat : 16784 (java) S 16775 16777 13427 0 -1 4202560 25 0 0 0 12 0 0 0 20 0 19 0 291304483 9855979520 16232 33554432000 1073741824 1073778376 140734192307984 139750381963688 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16777/tid=16785] ppid=16775 vsize=9624980 CPUtime=0.12 cores=0,2,4,6
/proc/16777/task/16785/stat : 16785 (java) S 16775 16777 13427 0 -1 4202560 14 0 0 0 12 0 0 0 20 0 19 0 291304483 9855979520 16232 33554432000 1073741824 1073778376 140734192307984 139750380911144 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16777/tid=16786] ppid=16775 vsize=9624980 CPUtime=0.13 cores=0,2,4,6
/proc/16777/task/16786/stat : 16786 (java) S 16775 16777 13427 0 -1 4202560 8 0 0 0 13 0 0 0 20 0 19 0 291304483 9855979520 16232 33554432000 1073741824 1073778376 140734192307984 139750379858088 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16777/tid=16787] ppid=16775 vsize=9624980 CPUtime=0.11 cores=0,2,4,6
/proc/16777/task/16787/stat : 16787 (java) S 16775 16777 13427 0 -1 4202560 8 0 0 0 11 0 0 0 20 0 19 0 291304483 9855979520 16232 33554432000 1073741824 1073778376 140734192307984 139750378805544 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16777/tid=16788] ppid=16775 vsize=9624980 CPUtime=1.11 cores=0,2,4,6
/proc/16777/task/16788/stat : 16788 (java) S 16775 16777 13427 0 -1 4202560 56 0 0 0 111 0 0 0 20 0 19 0 291304484 9855979520 16232 33554432000 1073741824 1073778376 140734192307984 139750366608232 270121613225 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16777/tid=16789] ppid=16775 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/16777/task/16789/stat : 16789 (java) S 16775 16777 13427 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 291304484 9855979520 16232 33554432000 1073741824 1073778376 140734192307984 139750365554552 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16777/tid=16790] ppid=16775 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/16777/task/16790/stat : 16790 (java) S 16775 16777 13427 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291304484 9855979520 16232 33554432000 1073741824 1073778376 140734192307984 139750364501384 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16777/tid=16791] ppid=16775 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/16777/task/16791/stat : 16791 (java) S 16775 16777 13427 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291304487 9855979520 16232 33554432000 1073741824 1073778376 140734192307984 139750363450128 270121621280 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16777/tid=16792] ppid=16775 vsize=9624980 CPUtime=0.37 cores=0,2,4,6
/proc/16777/task/16792/stat : 16792 (java) S 16775 16777 13427 0 -1 4202560 3848 0 0 0 37 0 0 0 20 0 19 0 291304487 9855979520 16232 33554432000 1073741824 1073778376 140734192307984 139750362396984 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16777/tid=16793] ppid=16775 vsize=9624980 CPUtime=1.43 cores=0,2,4,6
/proc/16777/task/16793/stat : 16793 (java) S 16775 16777 13427 0 -1 4202560 15930 0 0 0 140 3 0 0 20 0 19 0 291304487 9855979520 16232 33554432000 1073741824 1073778376 140734192307984 139750361344440 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16777/tid=16794] ppid=16775 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/16777/task/16794/stat : 16794 (java) S 16775 16777 13427 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291304487 9855979520 16232 33554432000 1073741824 1073778376 140734192307984 139750360291576 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16777/tid=16795] ppid=16775 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/16777/task/16795/stat : 16795 (java) S 16775 16777 13427 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 291304487 9855979520 16232 33554432000 1073741824 1073778376 140734192307984 139750359239240 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16777/tid=16796] ppid=16775 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/16777/task/16796/stat : 16796 (java) S 16775 16777 13427 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291304498 9855979520 16232 33554432000 1073741824 1073778376 140734192307984 139750358185512 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 34.81
Current children cumulated vsize (KiB) 9624980

[startup+32.7008 s]
/proc/loadavg: 2.18 2.20 2.08 3/213 16853
/proc/meminfo: memFree=31822372/32873844 swapFree=6872/6872
[pid=16777] ppid=16775 vsize=9624980 CPUtime=35.21 cores=0,2,4,6
/proc/16777/stat : 16777 (java) S 16775 16777 13427 0 -1 4202496 23705 0 1 0 3514 7 0 0 20 0 19 0 291304480 9855979520 16232 33554432000 1073741824 1073778376 140734192307984 140734192299120 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16777/statm: 2406245 16232 2273 9 0 2396937 0
[pid=16777/tid=16779] ppid=16775 vsize=9624980 CPUtime=31.05 cores=0,2,4,6
/proc/16777/task/16779/stat : 16779 (java) R 16775 16777 13427 0 -1 4202560 2579 0 1 0 3105 0 0 0 20 0 19 0 291304482 9855979520 16232 33554432000 1073741824 1073778376 140734192307984 139750610043128 139750468479656 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=16777/tid=16780] ppid=16775 vsize=9624980 CPUtime=0.12 cores=0,2,4,6
/proc/16777/task/16780/stat : 16780 (java) S 16775 16777 13427 0 -1 4202560 15 0 0 0 12 0 0 0 20 0 19 0 291304483 9855979520 16232 33554432000 1073741824 1073778376 140734192307984 139750588144552 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16777/tid=16781] ppid=16775 vsize=9624980 CPUtime=0.13 cores=0,2,4,6
/proc/16777/task/16781/stat : 16781 (java) S 16775 16777 13427 0 -1 4202560 14 0 0 0 13 0 0 0 20 0 19 0 291304483 9855979520 16232 33554432000 1073741824 1073778376 140734192307984 139750587092008 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16777/tid=16782] ppid=16775 vsize=9624980 CPUtime=0.13 cores=0,2,4,6
/proc/16777/task/16782/stat : 16782 (java) S 16775 16777 13427 0 -1 4202560 13 0 0 0 13 0 0 0 20 0 19 0 291304483 9855979520 16232 33554432000 1073741824 1073778376 140734192307984 139750384069288 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16777/tid=16783] ppid=16775 vsize=9624980 CPUtime=0.12 cores=0,2,4,6
/proc/16777/task/16783/stat : 16783 (java) S 16775 16777 13427 0 -1 4202560 9 0 0 0 12 0 0 0 20 0 19 0 291304483 9855979520 16232 33554432000 1073741824 1073778376 140734192307984 139750383016744 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16777/tid=16784] ppid=16775 vsize=9624980 CPUtime=0.12 cores=0,2,4,6
/proc/16777/task/16784/stat : 16784 (java) S 16775 16777 13427 0 -1 4202560 25 0 0 0 12 0 0 0 20 0 19 0 291304483 9855979520 16232 33554432000 1073741824 1073778376 140734192307984 139750381963688 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16777/tid=16785] ppid=16775 vsize=9624980 CPUtime=0.12 cores=0,2,4,6
/proc/16777/task/16785/stat : 16785 (java) S 16775 16777 13427 0 -1 4202560 14 0 0 0 12 0 0 0 20 0 19 0 291304483 9855979520 16232 33554432000 1073741824 1073778376 140734192307984 139750380911144 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16777/tid=16786] ppid=16775 vsize=9624980 CPUtime=0.13 cores=0,2,4,6
/proc/16777/task/16786/stat : 16786 (java) S 16775 16777 13427 0 -1 4202560 8 0 0 0 13 0 0 0 20 0 19 0 291304483 9855979520 16232 33554432000 1073741824 1073778376 140734192307984 139750379858088 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16777/tid=16787] ppid=16775 vsize=9624980 CPUtime=0.11 cores=0,2,4,6
/proc/16777/task/16787/stat : 16787 (java) S 16775 16777 13427 0 -1 4202560 8 0 0 0 11 0 0 0 20 0 19 0 291304483 9855979520 16232 33554432000 1073741824 1073778376 140734192307984 139750378805544 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16777/tid=16788] ppid=16775 vsize=9624980 CPUtime=1.12 cores=0,2,4,6
/proc/16777/task/16788/stat : 16788 (java) S 16775 16777 13427 0 -1 4202560 56 0 0 0 112 0 0 0 20 0 19 0 291304484 9855979520 16232 33554432000 1073741824 1073778376 140734192307984 139750366608232 270121613225 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16777/tid=16789] ppid=16775 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/16777/task/16789/stat : 16789 (java) S 16775 16777 13427 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 291304484 9855979520 16232 33554432000 1073741824 1073778376 140734192307984 139750365554552 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16777/tid=16790] ppid=16775 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/16777/task/16790/stat : 16790 (java) S 16775 16777 13427 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291304484 9855979520 16232 33554432000 1073741824 1073778376 140734192307984 139750364501384 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16777/tid=16791] ppid=16775 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/16777/task/16791/stat : 16791 (java) S 16775 16777 13427 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291304487 9855979520 16232 33554432000 1073741824 1073778376 140734192307984 139750363450128 270121621280 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16777/tid=16792] ppid=16775 vsize=9624980 CPUtime=0.37 cores=0,2,4,6
/proc/16777/task/16792/stat : 16792 (java) S 16775 16777 13427 0 -1 4202560 3848 0 0 0 37 0 0 0 20 0 19 0 291304487 9855979520 16232 33554432000 1073741824 1073778376 140734192307984 139750362396984 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16777/tid=16793] ppid=16775 vsize=9624980 CPUtime=1.43 cores=0,2,4,6
/proc/16777/task/16793/stat : 16793 (java) S 16775 16777 13427 0 -1 4202560 15930 0 0 0 140 3 0 0 20 0 19 0 291304487 9855979520 16232 33554432000 1073741824 1073778376 140734192307984 139750361344440 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16777/tid=16794] ppid=16775 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/16777/task/16794/stat : 16794 (java) S 16775 16777 13427 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291304487 9855979520 16232 33554432000 1073741824 1073778376 140734192307984 139750360291576 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16777/tid=16795] ppid=16775 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/16777/task/16795/stat : 16795 (java) S 16775 16777 13427 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 291304487 9855979520 16232 33554432000 1073741824 1073778376 140734192307984 139750359239240 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16777/tid=16796] ppid=16775 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/16777/task/16796/stat : 16796 (java) S 16775 16777 13427 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291304498 9855979520 16232 33554432000 1073741824 1073778376 140734192307984 139750358185512 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 35.21
Current children cumulated vsize (KiB) 9624980

[startup+32.8007 s]
/proc/loadavg: 2.18 2.20 2.08 3/213 16853
/proc/meminfo: memFree=31822372/32873844 swapFree=6872/6872
[pid=16777] ppid=16775 vsize=9624980 CPUtime=35.31 cores=0,2,4,6
/proc/16777/stat : 16777 (java) S 16775 16777 13427 0 -1 4202496 23705 0 1 0 3524 7 0 0 20 0 19 0 291304480 9855979520 16232 33554432000 1073741824 1073778376 140734192307984 140734192299120 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16777/statm: 2406245 16232 2273 9 0 2396937 0
[pid=16777/tid=16779] ppid=16775 vsize=9624980 CPUtime=31.15 cores=0,2,4,6
/proc/16777/task/16779/stat : 16779 (java) R 16775 16777 13427 0 -1 4202560 2579 0 1 0 3115 0 0 0 20 0 19 0 291304482 9855979520 16232 33554432000 1073741824 1073778376 140734192307984 139750610043128 139750468479670 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=16777/tid=16780] ppid=16775 vsize=9624980 CPUtime=0.12 cores=0,2,4,6
/proc/16777/task/16780/stat : 16780 (java) S 16775 16777 13427 0 -1 4202560 15 0 0 0 12 0 0 0 20 0 19 0 291304483 9855979520 16232 33554432000 1073741824 1073778376 140734192307984 139750588144552 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16777/tid=16781] ppid=16775 vsize=9624980 CPUtime=0.13 cores=0,2,4,6
/proc/16777/task/16781/stat : 16781 (java) S 16775 16777 13427 0 -1 4202560 14 0 0 0 13 0 0 0 20 0 19 0 291304483 9855979520 16232 33554432000 1073741824 1073778376 140734192307984 139750587092008 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16777/tid=16782] ppid=16775 vsize=9624980 CPUtime=0.13 cores=0,2,4,6
/proc/16777/task/16782/stat : 16782 (java) S 16775 16777 13427 0 -1 4202560 13 0 0 0 13 0 0 0 20 0 19 0 291304483 9855979520 16232 33554432000 1073741824 1073778376 140734192307984 139750384069288 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16777/tid=16783] ppid=16775 vsize=9624980 CPUtime=0.12 cores=0,2,4,6
/proc/16777/task/16783/stat : 16783 (java) S 16775 16777 13427 0 -1 4202560 9 0 0 0 12 0 0 0 20 0 19 0 291304483 9855979520 16232 33554432000 1073741824 1073778376 140734192307984 139750383016744 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16777/tid=16784] ppid=16775 vsize=9624980 CPUtime=0.12 cores=0,2,4,6
/proc/16777/task/16784/stat : 16784 (java) S 16775 16777 13427 0 -1 4202560 25 0 0 0 12 0 0 0 20 0 19 0 291304483 9855979520 16232 33554432000 1073741824 1073778376 140734192307984 139750381963688 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16777/tid=16785] ppid=16775 vsize=9624980 CPUtime=0.12 cores=0,2,4,6
/proc/16777/task/16785/stat : 16785 (java) S 16775 16777 13427 0 -1 4202560 14 0 0 0 12 0 0 0 20 0 19 0 291304483 9855979520 16232 33554432000 1073741824 1073778376 140734192307984 139750380911144 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16777/tid=16786] ppid=16775 vsize=9624980 CPUtime=0.13 cores=0,2,4,6
/proc/16777/task/16786/stat : 16786 (java) S 16775 16777 13427 0 -1 4202560 8 0 0 0 13 0 0 0 20 0 19 0 291304483 9855979520 16232 33554432000 1073741824 1073778376 140734192307984 139750379858088 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16777/tid=16787] ppid=16775 vsize=9624980 CPUtime=0.11 cores=0,2,4,6
/proc/16777/task/16787/stat : 16787 (java) S 16775 16777 13427 0 -1 4202560 8 0 0 0 11 0 0 0 20 0 19 0 291304483 9855979520 16232 33554432000 1073741824 1073778376 140734192307984 139750378805544 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16777/tid=16788] ppid=16775 vsize=9624980 CPUtime=1.12 cores=0,2,4,6
/proc/16777/task/16788/stat : 16788 (java) S 16775 16777 13427 0 -1 4202560 56 0 0 0 112 0 0 0 20 0 19 0 291304484 9855979520 16232 33554432000 1073741824 1073778376 140734192307984 139750366608232 270121613225 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16777/tid=16789] ppid=16775 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/16777/task/16789/stat : 16789 (java) S 16775 16777 13427 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 291304484 9855979520 16232 33554432000 1073741824 1073778376 140734192307984 139750365554552 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16777/tid=16790] ppid=16775 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/16777/task/16790/stat : 16790 (java) S 16775 16777 13427 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291304484 9855979520 16232 33554432000 1073741824 1073778376 140734192307984 139750364501384 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16777/tid=16791] ppid=16775 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/16777/task/16791/stat : 16791 (java) S 16775 16777 13427 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291304487 9855979520 16232 33554432000 1073741824 1073778376 140734192307984 139750363450128 270121621280 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16777/tid=16792] ppid=16775 vsize=9624980 CPUtime=0.37 cores=0,2,4,6
/proc/16777/task/16792/stat : 16792 (java) S 16775 16777 13427 0 -1 4202560 3848 0 0 0 37 0 0 0 20 0 19 0 291304487 9855979520 16232 33554432000 1073741824 1073778376 140734192307984 139750362396984 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16777/tid=16793] ppid=16775 vsize=9624980 CPUtime=1.43 cores=0,2,4,6
/proc/16777/task/16793/stat : 16793 (java) S 16775 16777 13427 0 -1 4202560 15930 0 0 0 140 3 0 0 20 0 19 0 291304487 9855979520 16232 33554432000 1073741824 1073778376 140734192307984 139750361344440 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16777/tid=16794] ppid=16775 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/16777/task/16794/stat : 16794 (java) S 16775 16777 13427 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291304487 9855979520 16232 33554432000 1073741824 1073778376 140734192307984 139750360291576 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16777/tid=16795] ppid=16775 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/16777/task/16795/stat : 16795 (java) S 16775 16777 13427 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 291304487 9855979520 16232 33554432000 1073741824 1073778376 140734192307984 139750359239240 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16777/tid=16796] ppid=16775 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/16777/task/16796/stat : 16796 (java) S 16775 16777 13427 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291304498 9855979520 16232 33554432000 1073741824 1073778376 140734192307984 139750358185512 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 35.31
Current children cumulated vsize (KiB) 9624980

Child status: 30
Real time (s): 32.8855
CPU time (s): 35.3896
CPU user time (s): 35.2356
CPU system time (s): 0.153976
CPU usage (%): 107.615
Max. virtual memory (cumulated for all children) (KiB): 9625232

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 35.2356
system time used= 0.153976
maximum resident set size= 69112
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23719
page faults= 1
swaps= 0
block input operations= 0
block output operations= 104
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4370
involuntary context switches= 4952

runsolver used 0.139978 second user time and 0.359945 second system time

The end

Launcher Data

Begin job on node106 at 2012-05-29 02:36:00
IDJOB=3718121
IDBENCH=78857
IDSOLVER=2301
FILE ID=node106/3718121-1338251760
RUNJOBID= node106-1338247868-15527
PBS_JOBID= 14624657
Free space on /tmp= 71332 MiB

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

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

MD5SUM BENCH= b7777dd5fa41ca59afb23064bb503e66
RANDOM SEED=1392282579

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

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

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.065
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:        31903192 kB
Buffers:           70692 kB
Cached:            51076 kB
SwapCached:         1836 kB
Active:           143600 kB
Inactive:          34500 kB
Active(anon):      55876 kB
Inactive(anon):     3012 kB
Active(file):      87724 kB
Inactive(file):    31488 kB
Unevictable:        6872 kB
Mlocked:            6872 kB
SwapTotal:      67108856 kB
SwapFree:       67100488 kB
Dirty:               616 kB
Writeback:             0 kB
AnonPages:         84072 kB
Mapped:            15892 kB
Shmem:                 0 kB
Slab:             651368 kB
SReclaimable:      93520 kB
SUnreclaim:       557848 kB
KernelStack:        1616 kB
PageTables:         4088 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     697944 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:     45056 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= 71332 MiB
End job on node106 at 2012-05-29 02:36:33