Trace number 4109640

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 2.3.6 Resolution PB16OPTIMUM 23.7104 22.356

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110977273--soft-66-100-0.wbo
MD5SUM038e2d59f80e30c95ef1e3e4582a8837
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark22
Best CPU time to get the best result obtained on this benchmark9.05562
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 constraints42
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 1838
Min constraint cost 1
Max constraint cost 97
Sum of constraints costs 1837
Biggest number in a constraint 38
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 1243
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.00/0.09	c version PB16.v20160501
0.00/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.09	c java.vm.version	19.1-b02
0.00/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		1.6.0_24
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		501472288
0.00/0.09	c Max memory 		7480803328
0.00/0.09	c Total memory 		504102912
0.00/0.09	c Number of processors 	8
0.10/0.12	c Pseudo Boolean Optimization by upper bound
0.10/0.12	c --- Begin Solver configuration ---
0.10/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@587bd9f2
0.10/0.12	c Learn all clauses as in MiniSAT
0.10/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.12	c No reason simplification
0.10/0.12	c Glucose 2.1 dynamic restart strategy
0.10/0.12	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.10/0.12	c timeout=2147483s
0.10/0.12	c DB Simplification allowed=false
0.10/0.12	c Listener: org.sat4j.minisat.core.VoidTracing@4e3eca90
0.10/0.12	c --- End Solver configuration ---
0.10/0.12	c solving HOME/instance-4109640-1466343673.wbo
0.10/0.12	c reading problem ... 
0.10/0.17	c ... done. Wall clock time 0.058s.
0.10/0.17	c declared #vars     169
0.10/0.17	c internal #vars     211
0.10/0.17	c #constraints  101
0.10/0.17	c constraints type 
0.10/0.17	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 27
0.10/0.17	c org.sat4j.minisat.constraints.card.MinWatchCard => 41
0.10/0.17	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 3
0.10/0.17	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 30
0.10/0.17	c 101 constraints processed.
0.10/0.17	c objective function length is 42 literals
0.54/0.30	c SATISFIABLE
0.54/0.30	c OPTIMIZING...
0.54/0.30	c Got one! Elapsed wall clock time (in seconds):0.184
0.54/0.30	o 643
0.54/0.34	c Got one! Elapsed wall clock time (in seconds):0.222
0.54/0.34	o 627
0.54/0.35	c Got one! Elapsed wall clock time (in seconds):0.233
0.54/0.35	o 624
0.54/0.35	c Got one! Elapsed wall clock time (in seconds):0.238
0.54/0.35	o 597
0.54/0.36	c Got one! Elapsed wall clock time (in seconds):0.248
0.54/0.36	o 579
0.54/0.38	c Got one! Elapsed wall clock time (in seconds):0.268
0.54/0.38	o 576
0.54/0.39	c Got one! Elapsed wall clock time (in seconds):0.279
0.54/0.39	o 568
0.69/0.42	c Got one! Elapsed wall clock time (in seconds):0.303
0.69/0.42	o 564
0.69/0.43	c Got one! Elapsed wall clock time (in seconds):0.316
0.69/0.43	o 560
0.69/0.45	c Got one! Elapsed wall clock time (in seconds):0.334
0.69/0.45	o 554
0.69/0.47	c Got one! Elapsed wall clock time (in seconds):0.357
0.69/0.47	o 552
0.69/0.48	c Got one! Elapsed wall clock time (in seconds):0.365
0.69/0.48	o 544
0.85/0.53	c Got one! Elapsed wall clock time (in seconds):0.411
0.85/0.53	o 543
0.85/0.54	c Got one! Elapsed wall clock time (in seconds):0.422
0.85/0.54	o 533
0.85/0.56	c Got one! Elapsed wall clock time (in seconds):0.442
0.85/0.56	o 531
0.85/0.57	c Got one! Elapsed wall clock time (in seconds):0.45
0.85/0.57	o 528
0.85/0.57	c Got one! Elapsed wall clock time (in seconds):0.452
0.85/0.57	o 525
0.85/0.58	c Got one! Elapsed wall clock time (in seconds):0.463
0.85/0.58	o 523
0.85/0.60	c Got one! Elapsed wall clock time (in seconds):0.479
0.85/0.60	o 519
0.94/0.62	c Got one! Elapsed wall clock time (in seconds):0.505
0.94/0.62	o 518
0.94/0.64	c Got one! Elapsed wall clock time (in seconds):0.529
0.94/0.65	o 512
0.94/0.67	c Got one! Elapsed wall clock time (in seconds):0.553
0.94/0.67	o 507
0.94/0.69	c Got one! Elapsed wall clock time (in seconds):0.57
0.94/0.69	o 505
1.08/0.70	c Got one! Elapsed wall clock time (in seconds):0.585
1.08/0.70	o 500
1.08/0.71	c Got one! Elapsed wall clock time (in seconds):0.599
1.08/0.71	o 497
1.08/0.72	c Got one! Elapsed wall clock time (in seconds):0.609
1.08/0.72	o 489
1.08/0.75	c Got one! Elapsed wall clock time (in seconds):0.631
1.08/0.75	o 485
1.08/0.75	c Got one! Elapsed wall clock time (in seconds):0.639
1.08/0.75	o 479
1.08/0.77	c Got one! Elapsed wall clock time (in seconds):0.649
1.08/0.77	o 464
1.08/0.78	c Got one! Elapsed wall clock time (in seconds):0.662
1.08/0.78	o 460
1.08/0.79	c Got one! Elapsed wall clock time (in seconds):0.671
1.08/0.79	o 454
1.19/0.80	c Got one! Elapsed wall clock time (in seconds):0.687
1.19/0.80	o 450
1.19/0.81	c Got one! Elapsed wall clock time (in seconds):0.69
1.19/0.81	o 443
1.19/0.82	c Got one! Elapsed wall clock time (in seconds):0.7
1.19/0.82	o 439
1.19/0.82	c Got one! Elapsed wall clock time (in seconds):0.705
1.19/0.82	o 385
1.19/0.83	c Got one! Elapsed wall clock time (in seconds):0.715
1.19/0.83	o 379
1.19/0.85	c Got one! Elapsed wall clock time (in seconds):0.739
1.19/0.85	o 375
1.19/0.88	c Got one! Elapsed wall clock time (in seconds):0.769
1.19/0.88	o 373
1.29/0.92	c Got one! Elapsed wall clock time (in seconds):0.799
1.29/0.92	o 372
1.29/0.93	c Got one! Elapsed wall clock time (in seconds):0.813
1.29/0.93	o 368
1.39/1.03	c Got one! Elapsed wall clock time (in seconds):0.913
1.39/1.03	o 366
1.39/1.04	c Got one! Elapsed wall clock time (in seconds):0.923
1.39/1.04	o 362
1.39/1.10	c Got one! Elapsed wall clock time (in seconds):0.985
1.39/1.10	o 359
1.51/1.11	c Got one! Elapsed wall clock time (in seconds):0.993
1.51/1.11	o 356
1.51/1.12	c Got one! Elapsed wall clock time (in seconds):1.001
1.51/1.12	o 354
1.51/1.14	c Got one! Elapsed wall clock time (in seconds):1.021
1.51/1.14	o 352
1.51/1.15	c Got one! Elapsed wall clock time (in seconds):1.038
1.51/1.15	o 350
1.62/1.24	c cleaning 11571 clauses out of 23141 with flag 3236/23141
1.62/1.25	c Got one! Elapsed wall clock time (in seconds):1.138
1.62/1.25	o 349
1.75/1.30	c Got one! Elapsed wall clock time (in seconds):1.185
1.75/1.30	o 347
1.75/1.31	c Got one! Elapsed wall clock time (in seconds):1.194
1.75/1.31	o 338
1.75/1.31	c Got one! Elapsed wall clock time (in seconds):1.199
1.75/1.31	o 323
1.75/1.35	c Got one! Elapsed wall clock time (in seconds):1.236
1.75/1.35	o 319
1.75/1.36	c Got one! Elapsed wall clock time (in seconds):1.241
1.75/1.36	o 315
1.75/1.37	c Got one! Elapsed wall clock time (in seconds):1.25
1.75/1.37	o 314
1.90/1.40	c Got one! Elapsed wall clock time (in seconds):1.289
1.90/1.40	o 305
1.90/1.42	c Got one! Elapsed wall clock time (in seconds):1.301
1.90/1.42	o 296
1.90/1.43	c Got one! Elapsed wall clock time (in seconds):1.31
1.90/1.43	o 275
1.90/1.43	c Got one! Elapsed wall clock time (in seconds):1.313
1.90/1.43	o 272
1.90/1.43	c Got one! Elapsed wall clock time (in seconds):1.318
1.90/1.43	o 266
1.90/1.46	c Got one! Elapsed wall clock time (in seconds):1.349
1.90/1.46	o 263
1.90/1.49	c Got one! Elapsed wall clock time (in seconds):1.37
1.90/1.49	o 254
2.05/1.52	c Got one! Elapsed wall clock time (in seconds):1.409
2.05/1.52	o 251
2.05/1.53	c Got one! Elapsed wall clock time (in seconds):1.416
2.05/1.53	o 247
2.05/1.57	c Got one! Elapsed wall clock time (in seconds):1.45
2.05/1.57	o 242
2.05/1.57	c Got one! Elapsed wall clock time (in seconds):1.458
2.05/1.57	o 206
2.27/1.73	c cleaning 11355 clauses out of 22714 with flag 9498/34285
2.27/1.79	c Got one! Elapsed wall clock time (in seconds):1.672
2.27/1.79	o 205
2.40/1.86	c Got one! Elapsed wall clock time (in seconds):1.742
2.40/1.86	o 201
2.40/1.89	c Got one! Elapsed wall clock time (in seconds):1.771
2.40/1.89	o 198
2.50/1.91	c Got one! Elapsed wall clock time (in seconds):1.796
2.50/1.91	o 197
2.50/1.96	c Got one! Elapsed wall clock time (in seconds):1.844
2.50/1.96	o 196
2.60/2.07	c cleaning 9562 clauses out of 19130 with flag 7276/42056
2.70/2.13	c Got one! Elapsed wall clock time (in seconds):2.012
2.70/2.13	o 193
2.81/2.29	c cleaning 7628 clauses out of 15261 with flag 13228/47749
3.00/2.49	c cleaning 6818 clauses out of 13635 with flag 31259/53751
3.10/2.51	c Got one! Elapsed wall clock time (in seconds):2.398
3.10/2.51	o 187
3.10/2.52	c Got one! Elapsed wall clock time (in seconds):2.407
3.10/2.52	o 184
3.10/2.59	c Got one! Elapsed wall clock time (in seconds):2.471
3.10/2.59	o 181
3.10/2.59	c Got one! Elapsed wall clock time (in seconds):2.477
3.10/2.59	o 178
3.20/2.63	c Got one! Elapsed wall clock time (in seconds):2.513
3.20/2.63	o 177
3.20/2.63	c Got one! Elapsed wall clock time (in seconds):2.515
3.20/2.63	o 157
3.20/2.64	c Got one! Elapsed wall clock time (in seconds):2.525
3.20/2.64	o 152
3.30/2.73	c cleaning 6790 clauses out of 13584 with flag 6451/60518
3.50/2.95	c cleaning 6387 clauses out of 12796 with flag 26461/66520
3.80/3.21	c cleaning 6704 clauses out of 13407 with flag 52368/73518
4.10/3.54	c cleaning 7351 clauses out of 14705 with flag 83041/81520
4.50/3.91	c cleaning 8175 clauses out of 16354 with flag 121520/90520
4.61/4.06	c Got one! Elapsed wall clock time (in seconds):3.948
4.61/4.06	o 149
4.72/4.11	c cleaning 6700 clauses out of 13400 with flag 3897/95741
4.92/4.32	c cleaning 6347 clauses out of 12699 with flag 24600/101740
4.92/4.39	c Got one! Elapsed wall clock time (in seconds):4.276
4.92/4.39	o 145
5.02/4.44	c Got one! Elapsed wall clock time (in seconds):4.324
5.02/4.44	o 135
5.12/4.52	c cleaning 6043 clauses out of 12098 with flag 7466/107486
5.32/4.74	c cleaning 6024 clauses out of 12056 with flag 31583/113487
5.52/4.98	c cleaning 6515 clauses out of 13031 with flag 57175/120486
5.82/5.24	c Got one! Elapsed wall clock time (in seconds):5.128
5.82/5.24	o 125
5.82/5.27	c Got one! Elapsed wall clock time (in seconds):5.152
5.82/5.27	o 123
6.12/5.51	c cleaning 9813 clauses out of 19625 with flag 21556/133595
6.12/5.51	c Got one! Elapsed wall clock time (in seconds):5.398
6.12/5.51	o 118
6.12/5.58	c Got one! Elapsed wall clock time (in seconds):5.462
6.12/5.58	o 117
6.32/5.77	c cleaning 7836 clauses out of 15672 with flag 15866/139455
6.48/5.81	c Got one! Elapsed wall clock time (in seconds):5.696
6.48/5.81	o 109
6.86/6.01	c cleaning 6572 clauses out of 13149 with flag 18266/144769
6.86/6.04	c Got one! Elapsed wall clock time (in seconds):5.926
6.86/6.04	o 103
7.28/6.20	c cleaning 5898 clauses out of 11810 with flag 15618/150002
7.58/6.41	c cleaning 5952 clauses out of 11911 with flag 38396/156001
7.79/6.67	c cleaning 6467 clauses out of 12959 with flag 66239/163001
8.18/7.01	c cleaning 7243 clauses out of 14492 with flag 104280/171001
8.58/7.41	c cleaning 8119 clauses out of 16250 with flag 148619/180002
9.00/7.83	c cleaning 9058 clauses out of 18131 with flag 191324/190003
9.09/7.90	c Got one! Elapsed wall clock time (in seconds):7.783
9.09/7.90	o 99
9.19/8.02	c cleaning 7090 clauses out of 14187 with flag 10507/195117
9.39/8.24	c cleaning 6546 clauses out of 13097 with flag 31050/201117
9.59/8.48	c cleaning 6768 clauses out of 13553 with flag 55446/208119
9.89/8.78	c cleaning 7390 clauses out of 14783 with flag 85117/216117
10.30/9.14	c cleaning 8197 clauses out of 16393 with flag 117806/225117
10.60/9.45	c Got one! Elapsed wall clock time (in seconds):9.336
10.60/9.45	o 98
10.90/9.70	c cleaning 10557 clauses out of 21114 with flag 18336/238036
11.10/9.95	c cleaning 8271 clauses out of 16553 with flag 40071/244033
11.10/9.96	c Got one! Elapsed wall clock time (in seconds):9.847
11.10/9.96	o 94
11.30/10.15	c cleaning 6790 clauses out of 13600 with flag 18448/249351
11.50/10.39	c cleaning 6400 clauses out of 12810 with flag 40973/255351
11.80/10.64	c cleaning 6701 clauses out of 13410 with flag 66342/262351
12.10/10.95	c cleaning 7351 clauses out of 14709 with flag 99077/270351
12.50/11.31	c cleaning 8178 clauses out of 16360 with flag 133962/279353
12.90/11.73	c cleaning 9085 clauses out of 18181 with flag 172045/289352
13.40/12.21	c cleaning 10043 clauses out of 20094 with flag 212234/300351
14.01/12.82	c cleaning 11020 clauses out of 22052 with flag 261566/312352
14.60/13.45	c cleaning 12007 clauses out of 24032 with flag 316478/325352
14.60/13.48	c Got one! Elapsed wall clock time (in seconds):13.368
14.60/13.48	o 87
14.89/13.72	c cleaning 8958 clauses out of 17922 with flag 22750/331249
15.09/13.95	c cleaning 7480 clauses out of 14961 with flag 47792/337246
15.39/14.23	c cleaning 7233 clauses out of 14483 with flag 77356/344248
15.70/14.57	c cleaning 7623 clauses out of 15250 with flag 112925/352248
16.10/14.95	c cleaning 8312 clauses out of 16626 with flag 149899/361247
16.50/15.39	c cleaning 9152 clauses out of 18312 with flag 192598/371246
17.10/15.90	c cleaning 10077 clauses out of 20160 with flag 237477/382246
17.10/15.94	c Got one! Elapsed wall clock time (in seconds):15.827
17.10/15.94	o 85
17.30/16.13	c cleaning 7615 clauses out of 15240 with flag 18773/387403
17.50/16.38	c cleaning 6801 clauses out of 13625 with flag 43937/393403
17.83/16.65	c cleaning 6910 clauses out of 13828 with flag 73767/400407
18.12/16.98	c cleaning 7454 clauses out of 14914 with flag 114538/408403
18.32/17.19	c Got one! Elapsed wall clock time (in seconds):17.079
18.32/17.19	o 82
18.62/17.44	c cleaning 8956 clauses out of 17917 with flag 22910/418860
18.83/17.62	c Got one! Elapsed wall clock time (in seconds):17.5
18.83/17.62	o 76
18.83/17.67	c cleaning 7427 clauses out of 14863 with flag 4587/424762
19.12/17.92	c cleaning 6711 clauses out of 13436 with flag 31627/430762
19.22/18.01	c Got one! Elapsed wall clock time (in seconds):17.897
19.22/18.01	o 69
19.32/18.14	c cleaning 6244 clauses out of 12497 with flag 13581/436534
19.52/18.30	c Got one! Elapsed wall clock time (in seconds):18.181
19.52/18.30	o 68
19.52/18.34	c cleaning 5968 clauses out of 11947 with flag 4223/442228
19.72/18.57	c cleaning 5985 clauses out of 11979 with flag 29443/448228
19.92/18.71	c Got one! Elapsed wall clock time (in seconds):18.599
19.92/18.71	o 62
19.92/18.76	c cleaning 5585 clauses out of 11187 with flag 4162/453421
20.12/18.98	c cleaning 5797 clauses out of 11601 with flag 27128/459421
20.42/19.25	c cleaning 6393 clauses out of 12804 with flag 57837/466421
20.72/19.54	c Got one! Elapsed wall clock time (in seconds):19.423
20.72/19.54	o 58
20.72/19.55	c Got one! Elapsed wall clock time (in seconds):19.434
20.72/19.55	o 57
20.72/19.57	c Got one! Elapsed wall clock time (in seconds):19.451
20.72/19.57	o 56
21.02/19.81	c cleaning 9683 clauses out of 19369 with flag 20084/479379
21.22/20.04	c cleaning 7839 clauses out of 15686 with flag 44237/485381
21.52/20.32	c cleaning 7408 clauses out of 14844 with flag 71803/492379
21.82/20.65	c cleaning 7716 clauses out of 15435 with flag 105602/500379
22.02/20.83	c Got one! Elapsed wall clock time (in seconds):20.715
22.02/20.83	o 55
22.23/21.08	c cleaning 8864 clauses out of 17744 with flag 22901/510405
22.32/21.20	c Got one! Elapsed wall clock time (in seconds):21.08
22.32/21.20	o 50
22.52/21.35	c cleaning 7349 clauses out of 14701 with flag 14822/516226
22.52/21.35	c Got one! Elapsed wall clock time (in seconds):21.23
22.52/21.35	o 47
22.52/21.35	c Got one! Elapsed wall clock time (in seconds):21.237
22.52/21.35	o 38
22.52/21.38	c Got one! Elapsed wall clock time (in seconds):21.262
22.52/21.38	o 37
22.52/21.40	c Got one! Elapsed wall clock time (in seconds):21.281
22.52/21.40	o 23
22.62/21.41	c Got one! Elapsed wall clock time (in seconds):21.29
22.62/21.41	o 22
22.95/21.61	c cleaning 7025 clauses out of 14066 with flag 22168/522941
23.15/21.84	c cleaning 6519 clauses out of 13040 with flag 47765/528943
23.35/22.10	c cleaning 6757 clauses out of 13514 with flag 78968/535941
23.65/22.35	c starts		: 681
23.65/22.35	c conflicts		: 542124
23.65/22.35	c decisions		: 853337
23.65/22.35	c propagations		: 12820009
23.65/22.35	c inspects		: 280458321
23.65/22.35	c shortcuts		: 0
23.65/22.35	c learnt literals	: 46
23.65/22.35	c learnt binary clauses	: 7
23.65/22.35	c learnt ternary clauses	: 781
23.65/22.35	c learnt constraints	: 542077
23.65/22.35	c ignored constraints	: 0
23.65/22.35	c root simplifications	: 0
23.65/22.35	c removed literals (reason simplification)	: 0
23.65/22.35	c reason swapping (by a shorter reason)	: 0
23.65/22.35	c Calls to reduceDB	: 69
23.65/22.35	c Number of update (reduction) of LBD	: 134196
23.65/22.35	c Imported unit clauses	: 0
23.65/22.35	c number of reductions to clauses (during analyze)	: 0
23.65/22.35	c number of learned constraints concerned by reduction	: 0
23.65/22.35	c number of learning phase by resolution	: 0
23.65/22.35	c number of learning phase by cutting planes	: 0
23.65/22.35	c speed (assignments/second)	: 578259.3143888137
23.65/22.35	c non guided choices	3475
23.65/22.35	c learnt constraints type 
23.65/22.35	s OPTIMUM FOUND
23.65/22.35	c Found 107 solution(s)
23.65/22.35	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 
23.65/22.35	c objective function=22
23.65/22.35	c Total wall clock time (in seconds): 22.233

Verifier Data 

OK	22

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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-4109640-1466343673/watcher-4109640-1466343673 -o /tmp/evaluation-result-4109640-1466343673/solver-4109640-1466343673 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node126-1466341816-5530 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4109640-1466343673.wbo 

pid=6727
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.07 2.12 1.86 3/194 6730
/proc/meminfo: memFree=31241688/32872528 swapFree=338416/354768
[pid=6730] ppid=6727 vsize=96260 CPUtime=0 cores=0,2,4,6
/proc/6730/stat : 6730 (java) S 6727 6730 5514 0 -1 4202496 1352 0 0 0 0 0 0 0 20 0 2 0 36414039 98570240 977 33554432000 1073741824 1073778376 140734172996640 140734172987776 242170757181 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6730/statm: 24065 978 744 9 0 16771 0
[pid=6730/tid=6731] ppid=6727 vsize=96260 CPUtime=0 cores=0,2,4,6
/proc/6730/task/6731/stat : 6731 (java) R 6727 6730 5514 0 -1 4202560 130 0 0 0 0 0 0 0 20 0 2 0 36414040 98570240 978 33554432000 1073741824 1073778376 140734172996640 139891867033128 242167399808 0 0 4096 0 0 0 0 -1 0 0 0 0 0 0

[startup+0.10012 s]
/proc/loadavg: 2.07 2.12 1.86 3/194 6730
/proc/meminfo: memFree=31241688/32872528 swapFree=338416/354768
[pid=6730] ppid=6727 vsize=9558476 CPUtime=0.1 cores=0,2,4,6
/proc/6730/stat : 6730 (java) S 6727 6730 5514 0 -1 4202496 4401 0 1 0 9 1 0 0 20 0 18 0 36414039 9787879424 6034 33554432000 1073741824 1073778376 140734172996640 140734172987776 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6730/statm: 2389619 6034 2125 9 0 2380296 0
[pid=6730/tid=6731] ppid=6727 vsize=9558476 CPUtime=0.07 cores=0,2,4,6
/proc/6730/task/6731/stat : 6731 (java) R 6727 6730 5514 0 -1 4202560 2376 0 1 0 7 0 0 0 20 0 18 0 36414040 9787879424 6034 33554432000 1073741824 1073778376 140734172996640 139891867036576 139891874190419 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) 9558476

[startup+0.200322 s]
/proc/loadavg: 2.07 2.12 1.86 3/194 6730
/proc/meminfo: memFree=31241688/32872528 swapFree=338416/354768
[pid=6730] ppid=6727 vsize=9625040 CPUtime=0.24 cores=0,2,4,6
/proc/6730/stat : 6730 (java) S 6727 6730 5514 0 -1 4202496 4746 0 1 0 23 1 0 0 20 0 19 0 36414039 9856040960 7350 33554432000 1073741824 1073778376 140734172996640 140734172987776 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6730/statm: 2406260 7351 2215 9 0 2396937 0
[pid=6730/tid=6731] ppid=6727 vsize=9625040 CPUtime=0.17 cores=0,2,4,6
/proc/6730/task/6731/stat : 6731 (java) R 6727 6730 5514 0 -1 4202560 2408 0 1 0 16 1 0 0 20 0 19 0 36414040 9856040960 7352 33554432000 1073741824 1073778376 140734172996640 139891867038336 139891732378720 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 9625040

[startup+0.300259 s]
/proc/loadavg: 2.07 2.12 1.86 3/194 6730
/proc/meminfo: memFree=31241688/32872528 swapFree=338416/354768
[pid=6730] ppid=6727 vsize=9625040 CPUtime=0.54 cores=0,2,4,6
/proc/6730/stat : 6730 (java) S 6727 6730 5514 0 -1 4202496 7542 0 1 0 52 2 0 0 20 0 19 0 36414039 9856040960 8637 33554432000 1073741824 1073778376 140734172996640 140734172987776 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6730/statm: 2406260 8637 2244 9 0 2396937 0
[pid=6730/tid=6731] ppid=6727 vsize=9625040 CPUtime=0.27 cores=0,2,4,6
/proc/6730/task/6731/stat : 6731 (java) R 6727 6730 5514 0 -1 4202560 2409 0 1 0 26 1 0 0 20 0 19 0 36414040 9856040960 8637 33554432000 1073741824 1073778376 140734172996640 139891867038336 139891732641055 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.54
Current children cumulated vsize (KiB) 9625040

[startup+0.700222 s]
/proc/loadavg: 2.07 2.12 1.86 3/194 6730
/proc/meminfo: memFree=31241688/32872528 swapFree=338416/354768
[pid=6730] ppid=6727 vsize=9625040 CPUtime=1.08 cores=0,2,4,6
/proc/6730/stat : 6730 (java) S 6727 6730 5514 0 -1 4202496 8591 0 1 0 106 2 0 0 20 0 19 0 36414039 9856040960 9164 33554432000 1073741824 1073778376 140734172996640 140734172987776 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6730/statm: 2406260 9164 2253 9 0 2396937 0
[pid=6730/tid=6731] ppid=6727 vsize=9625040 CPUtime=0.67 cores=0,2,4,6
/proc/6730/task/6731/stat : 6731 (java) R 6727 6730 5514 0 -1 4202560 2410 0 1 0 66 1 0 0 20 0 19 0 36414040 9856040960 9164 33554432000 1073741824 1073778376 140734172996640 139891867029808 139891732602830 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.08
Current children cumulated vsize (KiB) 9625040

[startup+1.5008 s]
/proc/loadavg: 2.07 2.12 1.86 3/213 6749
/proc/meminfo: memFree=31202368/32872528 swapFree=338416/354768
[pid=6730] ppid=6727 vsize=9625040 CPUtime=2.05 cores=0,2,4,6
/proc/6730/stat : 6730 (java) S 6727 6730 5514 0 -1 4202496 10020 0 1 0 202 3 0 0 20 0 19 0 36414039 9856040960 11031 33554432000 1073741824 1073778376 140734172996640 140734172987776 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6730/statm: 2406260 11031 2261 9 0 2396937 0
[pid=6730/tid=6731] ppid=6727 vsize=9625040 CPUtime=1.48 cores=0,2,4,6
/proc/6730/task/6731/stat : 6731 (java) R 6727 6730 5514 0 -1 4202560 2414 0 1 0 146 2 0 0 20 0 19 0 36414040 9856040960 11031 33554432000 1073741824 1073778376 140734172996640 139891867029808 139891732581204 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=6730/tid=6733] ppid=6727 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6730/task/6733/stat : 6733 (java) S 6727 6730 5514 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36414040 9856040960 11031 33554432000 1073741824 1073778376 140734172996640 139891856100136 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6730/tid=6734] ppid=6727 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6730/task/6734/stat : 6734 (java) S 6727 6730 5514 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36414040 9856040960 11031 33554432000 1073741824 1073778376 140734172996640 139891855047336 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6730/tid=6735] ppid=6727 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6730/task/6735/stat : 6735 (java) S 6727 6730 5514 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36414040 9856040960 11031 33554432000 1073741824 1073778376 140734172996640 139891853995048 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6730/tid=6736] ppid=6727 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6730/task/6736/stat : 6736 (java) S 6727 6730 5514 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36414040 9856040960 11031 33554432000 1073741824 1073778376 140734172996640 139891852942248 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6730/tid=6737] ppid=6727 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6730/task/6737/stat : 6737 (java) S 6727 6730 5514 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36414040 9856040960 11031 33554432000 1073741824 1073778376 140734172996640 139891851888936 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6730/tid=6738] ppid=6727 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6730/task/6738/stat : 6738 (java) S 6727 6730 5514 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36414040 9856040960 11031 33554432000 1073741824 1073778376 140734172996640 139891850836136 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6730/tid=6739] ppid=6727 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6730/task/6739/stat : 6739 (java) S 6727 6730 5514 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36414040 9856040960 11031 33554432000 1073741824 1073778376 140734172996640 139891704543784 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6730/tid=6740] ppid=6727 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6730/task/6740/stat : 6740 (java) S 6727 6730 5514 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 36414040 9856040960 11031 33554432000 1073741824 1073778376 140734172996640 139891703490984 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6730/tid=6741] ppid=6727 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6730/task/6741/stat : 6741 (java) S 6727 6730 5514 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 36414042 9856040960 11031 33554432000 1073741824 1073778376 140734172996640 139891691293416 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6730/tid=6742] ppid=6727 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6730/task/6742/stat : 6742 (java) S 6727 6730 5514 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 36414042 9856040960 11031 33554432000 1073741824 1073778376 140734172996640 139891690239480 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6730/tid=6743] ppid=6727 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6730/task/6743/stat : 6743 (java) S 6727 6730 5514 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 36414042 9856040960 11031 33554432000 1073741824 1073778376 140734172996640 139891689187080 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6730/tid=6744] ppid=6727 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6730/task/6744/stat : 6744 (java) S 6727 6730 5514 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36414045 9856040960 11031 33554432000 1073741824 1073778376 140734172996640 139891688135568 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6730/tid=6745] ppid=6727 vsize=9625040 CPUtime=0.31 cores=0,2,4,6
/proc/6730/task/6745/stat : 6745 (java) R 6727 6730 5514 0 -1 4202560 3991 0 0 0 31 0 0 0 20 0 19 0 36414045 9856040960 11031 33554432000 1073741824 1073778376 140734172996640 139891687082168 139891869511171 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=6730/tid=6746] ppid=6727 vsize=9625040 CPUtime=0.22 cores=0,2,4,6
/proc/6730/task/6746/stat : 6746 (java) S 6727 6730 5514 0 -1 4202560 2344 0 0 0 22 0 0 0 20 0 19 0 36414045 9856040960 11031 33554432000 1073741824 1073778376 140734172996640 139891686029368 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6730/tid=6747] ppid=6727 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6730/task/6747/stat : 6747 (java) S 6727 6730 5514 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36414045 9856040960 11031 33554432000 1073741824 1073778376 140734172996640 139891684977272 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6730/tid=6748] ppid=6727 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6730/task/6748/stat : 6748 (java) S 6727 6730 5514 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36414045 9856040960 11031 33554432000 1073741824 1073778376 140734172996640 139891683924680 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6730/tid=6749] ppid=6727 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6730/task/6749/stat : 6749 (java) S 6727 6730 5514 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 36414057 9856040960 11031 33554432000 1073741824 1073778376 140734172996640 139891682821544 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 2.05
Current children cumulated vsize (KiB) 9625040

[startup+3.10078 s]
/proc/loadavg: 2.07 2.12 1.86 3/213 6749
/proc/meminfo: memFree=31189108/32872528 swapFree=338416/354768
[pid=6730] ppid=6727 vsize=9625040 CPUtime=3.7 cores=0,2,4,6
/proc/6730/stat : 6730 (java) S 6727 6730 5514 0 -1 4202496 10189 0 1 0 367 3 0 0 20 0 19 0 36414039 9856040960 12846 33554432000 1073741824 1073778376 140734172996640 140734172987776 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6730/statm: 2406260 12846 2263 9 0 2396937 0
[pid=6730/tid=6731] ppid=6727 vsize=9625040 CPUtime=3.08 cores=0,2,4,6
/proc/6730/task/6731/stat : 6731 (java) R 6727 6730 5514 0 -1 4202560 2420 0 1 0 306 2 0 0 20 0 19 0 36414040 9856040960 12846 33554432000 1073741824 1073778376 140734172996640 139891867038248 139891732620512 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=6730/tid=6733] ppid=6727 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6730/task/6733/stat : 6733 (java) S 6727 6730 5514 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36414040 9856040960 12846 33554432000 1073741824 1073778376 140734172996640 139891856100136 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6730/tid=6734] ppid=6727 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6730/task/6734/stat : 6734 (java) S 6727 6730 5514 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36414040 9856040960 12846 33554432000 1073741824 1073778376 140734172996640 139891855047336 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6730/tid=6735] ppid=6727 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6730/task/6735/stat : 6735 (java) S 6727 6730 5514 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36414040 9856040960 12846 33554432000 1073741824 1073778376 140734172996640 139891853995048 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6730/tid=6736] ppid=6727 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6730/task/6736/stat : 6736 (java) S 6727 6730 5514 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36414040 9856040960 12846 33554432000 1073741824 1073778376 140734172996640 139891852942248 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6730/tid=6737] ppid=6727 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6730/task/6737/stat : 6737 (java) S 6727 6730 5514 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36414040 9856040960 12846 33554432000 1073741824 1073778376 140734172996640 139891851888936 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6730/tid=6738] ppid=6727 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6730/task/6738/stat : 6738 (java) S 6727 6730 5514 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36414040 9856040960 12846 33554432000 1073741824 1073778376 140734172996640 139891850836136 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6730/tid=6739] ppid=6727 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6730/task/6739/stat : 6739 (java) S 6727 6730 5514 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36414040 9856040960 12846 33554432000 1073741824 1073778376 140734172996640 139891704543784 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6730/tid=6740] ppid=6727 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6730/task/6740/stat : 6740 (java) S 6727 6730 5514 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 36414040 9856040960 12846 33554432000 1073741824 1073778376 140734172996640 139891703490984 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6730/tid=6741] ppid=6727 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6730/task/6741/stat : 6741 (java) S 6727 6730 5514 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 36414042 9856040960 12846 33554432000 1073741824 1073778376 140734172996640 139891691293416 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6730/tid=6742] ppid=6727 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6730/task/6742/stat : 6742 (java) S 6727 6730 5514 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 36414042 9856040960 12846 33554432000 1073741824 1073778376 140734172996640 139891690239480 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6730/tid=6743] ppid=6727 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6730/task/6743/stat : 6743 (java) S 6727 6730 5514 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 36414042 9856040960 12846 33554432000 1073741824 1073778376 140734172996640 139891689187080 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6730/tid=6744] ppid=6727 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6730/task/6744/stat : 6744 (java) S 6727 6730 5514 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36414045 9856040960 12846 33554432000 1073741824 1073778376 140734172996640 139891688135568 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6730/tid=6745] ppid=6727 vsize=9625040 CPUtime=0.36 cores=0,2,4,6
/proc/6730/task/6745/stat : 6745 (java) S 6727 6730 5514 0 -1 4202560 4154 0 0 0 35 1 0 0 20 0 19 0 36414045 9856040960 12846 33554432000 1073741824 1073778376 140734172996640 139891687082168 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6730/tid=6746] ppid=6727 vsize=9625040 CPUtime=0.23 cores=0,2,4,6
/proc/6730/task/6746/stat : 6746 (java) S 6727 6730 5514 0 -1 4202560 2344 0 0 0 23 0 0 0 20 0 19 0 36414045 9856040960 12846 33554432000 1073741824 1073778376 140734172996640 139891686029368 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6730/tid=6747] ppid=6727 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6730/task/6747/stat : 6747 (java) S 6727 6730 5514 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36414045 9856040960 12846 33554432000 1073741824 1073778376 140734172996640 139891684977272 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6730/tid=6748] ppid=6727 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6730/task/6748/stat : 6748 (java) S 6727 6730 5514 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36414045 9856040960 12846 33554432000 1073741824 1073778376 140734172996640 139891683924680 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6730/tid=6749] ppid=6727 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6730/task/6749/stat : 6749 (java) S 6727 6730 5514 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 36414057 9856040960 12846 33554432000 1073741824 1073778376 140734172996640 139891682821544 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.7
Current children cumulated vsize (KiB) 9625040

[startup+6.30089 s]
/proc/loadavg: 2.06 2.12 1.86 3/213 6814
/proc/meminfo: memFree=31198908/32872528 swapFree=338416/354768
[pid=6730] ppid=6727 vsize=9625040 CPUtime=7.48 cores=0,2,4,6
/proc/6730/stat : 6730 (java) S 6727 6730 5514 0 -1 4202496 20050 0 1 0 743 5 0 0 20 0 19 0 36414039 9856040960 22150 33554432000 1073741824 1073778376 140734172996640 140734172987776 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6730/statm: 2406260 22150 2264 9 0 2396937 0
[pid=6730/tid=6731] ppid=6727 vsize=9625040 CPUtime=6.28 cores=0,2,4,6
/proc/6730/task/6731/stat : 6731 (java) R 6727 6730 5514 0 -1 4202560 2431 0 1 0 626 2 0 0 20 0 19 0 36414040 9856040960 22150 33554432000 1073741824 1073778376 140734172996640 139891867038152 139891732668347 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=6730/tid=6733] ppid=6727 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6730/task/6733/stat : 6733 (java) S 6727 6730 5514 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36414040 9856040960 22150 33554432000 1073741824 1073778376 140734172996640 139891856100136 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6730/tid=6734] ppid=6727 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6730/task/6734/stat : 6734 (java) S 6727 6730 5514 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36414040 9856040960 22150 33554432000 1073741824 1073778376 140734172996640 139891855047336 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6730/tid=6735] ppid=6727 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6730/task/6735/stat : 6735 (java) S 6727 6730 5514 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36414040 9856040960 22150 33554432000 1073741824 1073778376 140734172996640 139891853995048 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6730/tid=6736] ppid=6727 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6730/task/6736/stat : 6736 (java) S 6727 6730 5514 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36414040 9856040960 22150 33554432000 1073741824 1073778376 140734172996640 139891852942248 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6730/tid=6737] ppid=6727 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6730/task/6737/stat : 6737 (java) S 6727 6730 5514 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36414040 9856040960 22150 33554432000 1073741824 1073778376 140734172996640 139891851888936 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6730/tid=6738] ppid=6727 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6730/task/6738/stat : 6738 (java) S 6727 6730 5514 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36414040 9856040960 22150 33554432000 1073741824 1073778376 140734172996640 139891850836136 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6730/tid=6739] ppid=6727 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6730/task/6739/stat : 6739 (java) S 6727 6730 5514 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36414040 9856040960 22150 33554432000 1073741824 1073778376 140734172996640 139891704543784 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6730/tid=6740] ppid=6727 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6730/task/6740/stat : 6740 (java) S 6727 6730 5514 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 36414040 9856040960 22150 33554432000 1073741824 1073778376 140734172996640 139891703490984 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6730/tid=6741] ppid=6727 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6730/task/6741/stat : 6741 (java) S 6727 6730 5514 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 36414042 9856040960 22150 33554432000 1073741824 1073778376 140734172996640 139891691293416 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6730/tid=6742] ppid=6727 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6730/task/6742/stat : 6742 (java) S 6727 6730 5514 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 36414042 9856040960 22150 33554432000 1073741824 1073778376 140734172996640 139891690239480 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6730/tid=6743] ppid=6727 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6730/task/6743/stat : 6743 (java) S 6727 6730 5514 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 36414042 9856040960 22150 33554432000 1073741824 1073778376 140734172996640 139891689187080 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6730/tid=6744] ppid=6727 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6730/task/6744/stat : 6744 (java) S 6727 6730 5514 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36414045 9856040960 22150 33554432000 1073741824 1073778376 140734172996640 139891688135568 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6730/tid=6745] ppid=6727 vsize=9625040 CPUtime=0.9 cores=0,2,4,6
/proc/6730/task/6745/stat : 6745 (java) R 6727 6730 5514 0 -1 4202560 13971 0 0 0 87 3 0 0 20 0 19 0 36414045 9856040960 22150 33554432000 1073741824 1073778376 140734172996640 139891687069448 139891873635205 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=6730/tid=6746] ppid=6727 vsize=9625040 CPUtime=0.26 cores=0,2,4,6

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

[pid=6730/tid=6735] ppid=6727 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6730/task/6735/stat : 6735 (java) S 6727 6730 5514 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36414040 9856040960 40872 33554432000 1073741824 1073778376 140734172996640 139891853995048 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6730/tid=6736] ppid=6727 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6730/task/6736/stat : 6736 (java) S 6727 6730 5514 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36414040 9856040960 40872 33554432000 1073741824 1073778376 140734172996640 139891852942248 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6730/tid=6737] ppid=6727 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6730/task/6737/stat : 6737 (java) S 6727 6730 5514 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36414040 9856040960 40872 33554432000 1073741824 1073778376 140734172996640 139891851888936 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6730/tid=6738] ppid=6727 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6730/task/6738/stat : 6738 (java) S 6727 6730 5514 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36414040 9856040960 40872 33554432000 1073741824 1073778376 140734172996640 139891850836136 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6730/tid=6739] ppid=6727 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6730/task/6739/stat : 6739 (java) S 6727 6730 5514 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36414040 9856040960 40872 33554432000 1073741824 1073778376 140734172996640 139891704543784 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6730/tid=6740] ppid=6727 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6730/task/6740/stat : 6740 (java) S 6727 6730 5514 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 36414040 9856040960 40872 33554432000 1073741824 1073778376 140734172996640 139891703490984 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6730/tid=6741] ppid=6727 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6730/task/6741/stat : 6741 (java) S 6727 6730 5514 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 36414042 9856040960 40872 33554432000 1073741824 1073778376 140734172996640 139891691293416 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6730/tid=6742] ppid=6727 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6730/task/6742/stat : 6742 (java) S 6727 6730 5514 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 36414042 9856040960 40872 33554432000 1073741824 1073778376 140734172996640 139891690239480 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6730/tid=6743] ppid=6727 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6730/task/6743/stat : 6743 (java) S 6727 6730 5514 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 36414042 9856040960 40872 33554432000 1073741824 1073778376 140734172996640 139891689187080 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6730/tid=6744] ppid=6727 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6730/task/6744/stat : 6744 (java) S 6727 6730 5514 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36414045 9856040960 40872 33554432000 1073741824 1073778376 140734172996640 139891688135568 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6730/tid=6745] ppid=6727 vsize=9625040 CPUtime=1.07 cores=0,2,4,6
/proc/6730/task/6745/stat : 6745 (java) S 6727 6730 5514 0 -1 4202560 13977 0 0 0 104 3 0 0 20 0 19 0 36414045 9856040960 40872 33554432000 1073741824 1073778376 140734172996640 139891687082168 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6730/tid=6746] ppid=6727 vsize=9625040 CPUtime=0.26 cores=0,2,4,6
/proc/6730/task/6746/stat : 6746 (java) S 6727 6730 5514 0 -1 4202560 2376 0 0 0 26 0 0 0 20 0 19 0 36414045 9856040960 40872 33554432000 1073741824 1073778376 140734172996640 139891686029368 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6730/tid=6747] ppid=6727 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6730/task/6747/stat : 6747 (java) S 6727 6730 5514 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36414045 9856040960 40872 33554432000 1073741824 1073778376 140734172996640 139891684977272 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6730/tid=6748] ppid=6727 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6730/task/6748/stat : 6748 (java) S 6727 6730 5514 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 36414045 9856040960 40872 33554432000 1073741824 1073778376 140734172996640 139891683924680 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6730/tid=6749] ppid=6727 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6730/task/6749/stat : 6749 (java) S 6727 6730 5514 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 36414057 9856040960 40872 33554432000 1073741824 1073778376 140734172996640 139891682821544 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 22.95
Current children cumulated vsize (KiB) 9625040

[startup+22.0007 s]
/proc/loadavg: 2.05 2.12 1.86 3/213 6814
/proc/meminfo: memFree=31026940/32872528 swapFree=338416/354768
[pid=6730] ppid=6727 vsize=9625040 CPUtime=23.35 cores=0,2,4,6
/proc/6730/stat : 6730 (java) S 6727 6730 5514 0 -1 4202496 20100 0 1 0 2329 6 0 0 20 0 19 0 36414039 9856040960 41384 33554432000 1073741824 1073778376 140734172996640 140734172987776 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6730/statm: 2406260 41384 2264 9 0 2396937 0
[pid=6730/tid=6731] ppid=6727 vsize=9625040 CPUtime=21.98 cores=0,2,4,6
/proc/6730/task/6731/stat : 6731 (java) R 6727 6730 5514 0 -1 4202560 2475 0 1 0 2195 3 0 0 20 0 19 0 36414040 9856040960 41384 33554432000 1073741824 1073778376 140734172996640 139891867029808 139891732641434 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=6730/tid=6733] ppid=6727 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6730/task/6733/stat : 6733 (java) S 6727 6730 5514 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36414040 9856040960 41384 33554432000 1073741824 1073778376 140734172996640 139891856100136 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6730/tid=6734] ppid=6727 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6730/task/6734/stat : 6734 (java) S 6727 6730 5514 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36414040 9856040960 41384 33554432000 1073741824 1073778376 140734172996640 139891855047336 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6730/tid=6735] ppid=6727 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6730/task/6735/stat : 6735 (java) S 6727 6730 5514 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36414040 9856040960 41384 33554432000 1073741824 1073778376 140734172996640 139891853995048 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6730/tid=6736] ppid=6727 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6730/task/6736/stat : 6736 (java) S 6727 6730 5514 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36414040 9856040960 41384 33554432000 1073741824 1073778376 140734172996640 139891852942248 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6730/tid=6737] ppid=6727 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6730/task/6737/stat : 6737 (java) S 6727 6730 5514 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36414040 9856040960 41384 33554432000 1073741824 1073778376 140734172996640 139891851888936 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6730/tid=6738] ppid=6727 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6730/task/6738/stat : 6738 (java) S 6727 6730 5514 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36414040 9856040960 41384 33554432000 1073741824 1073778376 140734172996640 139891850836136 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6730/tid=6739] ppid=6727 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6730/task/6739/stat : 6739 (java) S 6727 6730 5514 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36414040 9856040960 41384 33554432000 1073741824 1073778376 140734172996640 139891704543784 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6730/tid=6740] ppid=6727 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6730/task/6740/stat : 6740 (java) S 6727 6730 5514 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 36414040 9856040960 41384 33554432000 1073741824 1073778376 140734172996640 139891703490984 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6730/tid=6741] ppid=6727 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6730/task/6741/stat : 6741 (java) S 6727 6730 5514 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 36414042 9856040960 41384 33554432000 1073741824 1073778376 140734172996640 139891691293416 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6730/tid=6742] ppid=6727 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6730/task/6742/stat : 6742 (java) S 6727 6730 5514 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 36414042 9856040960 41384 33554432000 1073741824 1073778376 140734172996640 139891690239480 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6730/tid=6743] ppid=6727 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6730/task/6743/stat : 6743 (java) S 6727 6730 5514 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 36414042 9856040960 41384 33554432000 1073741824 1073778376 140734172996640 139891689187080 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6730/tid=6744] ppid=6727 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6730/task/6744/stat : 6744 (java) S 6727 6730 5514 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36414045 9856040960 41384 33554432000 1073741824 1073778376 140734172996640 139891688135568 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6730/tid=6745] ppid=6727 vsize=9625040 CPUtime=1.07 cores=0,2,4,6
/proc/6730/task/6745/stat : 6745 (java) S 6727 6730 5514 0 -1 4202560 13977 0 0 0 104 3 0 0 20 0 19 0 36414045 9856040960 41384 33554432000 1073741824 1073778376 140734172996640 139891687082168 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6730/tid=6746] ppid=6727 vsize=9625040 CPUtime=0.26 cores=0,2,4,6
/proc/6730/task/6746/stat : 6746 (java) S 6727 6730 5514 0 -1 4202560 2376 0 0 0 26 0 0 0 20 0 19 0 36414045 9856040960 41384 33554432000 1073741824 1073778376 140734172996640 139891686029368 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6730/tid=6747] ppid=6727 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6730/task/6747/stat : 6747 (java) S 6727 6730 5514 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36414045 9856040960 41384 33554432000 1073741824 1073778376 140734172996640 139891684977272 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6730/tid=6748] ppid=6727 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6730/task/6748/stat : 6748 (java) S 6727 6730 5514 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 36414045 9856040960 41384 33554432000 1073741824 1073778376 140734172996640 139891683924680 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6730/tid=6749] ppid=6727 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6730/task/6749/stat : 6749 (java) S 6727 6730 5514 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 36414057 9856040960 41384 33554432000 1073741824 1073778376 140734172996640 139891682821544 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 23.35
Current children cumulated vsize (KiB) 9625040

[startup+22.2007 s]
/proc/loadavg: 2.05 2.12 1.86 3/213 6814
/proc/meminfo: memFree=31026940/32872528 swapFree=338416/354768
[pid=6730] ppid=6727 vsize=9625040 CPUtime=23.55 cores=0,2,4,6
/proc/6730/stat : 6730 (java) S 6727 6730 5514 0 -1 4202496 20100 0 1 0 2349 6 0 0 20 0 19 0 36414039 9856040960 41384 33554432000 1073741824 1073778376 140734172996640 140734172987776 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6730/statm: 2406260 41384 2264 9 0 2396937 0
[pid=6730/tid=6731] ppid=6727 vsize=9625040 CPUtime=22.17 cores=0,2,4,6
/proc/6730/task/6731/stat : 6731 (java) R 6727 6730 5514 0 -1 4202560 2475 0 1 0 2214 3 0 0 20 0 19 0 36414040 9856040960 41384 33554432000 1073741824 1073778376 140734172996640 139891867029808 139891732620512 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=6730/tid=6733] ppid=6727 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6730/task/6733/stat : 6733 (java) S 6727 6730 5514 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36414040 9856040960 41384 33554432000 1073741824 1073778376 140734172996640 139891856100136 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6730/tid=6734] ppid=6727 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6730/task/6734/stat : 6734 (java) S 6727 6730 5514 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36414040 9856040960 41384 33554432000 1073741824 1073778376 140734172996640 139891855047336 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6730/tid=6735] ppid=6727 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6730/task/6735/stat : 6735 (java) S 6727 6730 5514 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36414040 9856040960 41384 33554432000 1073741824 1073778376 140734172996640 139891853995048 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6730/tid=6736] ppid=6727 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6730/task/6736/stat : 6736 (java) S 6727 6730 5514 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36414040 9856040960 41384 33554432000 1073741824 1073778376 140734172996640 139891852942248 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6730/tid=6737] ppid=6727 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6730/task/6737/stat : 6737 (java) S 6727 6730 5514 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36414040 9856040960 41384 33554432000 1073741824 1073778376 140734172996640 139891851888936 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6730/tid=6738] ppid=6727 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6730/task/6738/stat : 6738 (java) S 6727 6730 5514 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36414040 9856040960 41384 33554432000 1073741824 1073778376 140734172996640 139891850836136 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6730/tid=6739] ppid=6727 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6730/task/6739/stat : 6739 (java) S 6727 6730 5514 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36414040 9856040960 41384 33554432000 1073741824 1073778376 140734172996640 139891704543784 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6730/tid=6740] ppid=6727 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6730/task/6740/stat : 6740 (java) S 6727 6730 5514 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 36414040 9856040960 41384 33554432000 1073741824 1073778376 140734172996640 139891703490984 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6730/tid=6741] ppid=6727 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6730/task/6741/stat : 6741 (java) S 6727 6730 5514 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 36414042 9856040960 41384 33554432000 1073741824 1073778376 140734172996640 139891691293416 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6730/tid=6742] ppid=6727 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6730/task/6742/stat : 6742 (java) S 6727 6730 5514 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 36414042 9856040960 41384 33554432000 1073741824 1073778376 140734172996640 139891690239480 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6730/tid=6743] ppid=6727 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6730/task/6743/stat : 6743 (java) S 6727 6730 5514 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 36414042 9856040960 41384 33554432000 1073741824 1073778376 140734172996640 139891689187080 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6730/tid=6744] ppid=6727 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6730/task/6744/stat : 6744 (java) S 6727 6730 5514 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36414045 9856040960 41384 33554432000 1073741824 1073778376 140734172996640 139891688135568 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6730/tid=6745] ppid=6727 vsize=9625040 CPUtime=1.07 cores=0,2,4,6
/proc/6730/task/6745/stat : 6745 (java) S 6727 6730 5514 0 -1 4202560 13977 0 0 0 104 3 0 0 20 0 19 0 36414045 9856040960 41384 33554432000 1073741824 1073778376 140734172996640 139891687082168 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6730/tid=6746] ppid=6727 vsize=9625040 CPUtime=0.26 cores=0,2,4,6
/proc/6730/task/6746/stat : 6746 (java) S 6727 6730 5514 0 -1 4202560 2376 0 0 0 26 0 0 0 20 0 19 0 36414045 9856040960 41384 33554432000 1073741824 1073778376 140734172996640 139891686029368 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6730/tid=6747] ppid=6727 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6730/task/6747/stat : 6747 (java) S 6727 6730 5514 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36414045 9856040960 41384 33554432000 1073741824 1073778376 140734172996640 139891684977272 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6730/tid=6748] ppid=6727 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6730/task/6748/stat : 6748 (java) S 6727 6730 5514 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 36414045 9856040960 41384 33554432000 1073741824 1073778376 140734172996640 139891683924680 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6730/tid=6749] ppid=6727 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6730/task/6749/stat : 6749 (java) S 6727 6730 5514 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 36414057 9856040960 41384 33554432000 1073741824 1073778376 140734172996640 139891682821544 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 23.55
Current children cumulated vsize (KiB) 9625040

[startup+22.3008 s]
/proc/loadavg: 2.05 2.12 1.86 3/213 6814
/proc/meminfo: memFree=31026940/32872528 swapFree=338416/354768
[pid=6730] ppid=6727 vsize=9625040 CPUtime=23.65 cores=0,2,4,6
/proc/6730/stat : 6730 (java) S 6727 6730 5514 0 -1 4202496 20101 0 1 0 2359 6 0 0 20 0 19 0 36414039 9856040960 41896 33554432000 1073741824 1073778376 140734172996640 140734172987776 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6730/statm: 2406260 41896 2264 9 0 2396937 0
[pid=6730/tid=6731] ppid=6727 vsize=9625040 CPUtime=22.27 cores=0,2,4,6
/proc/6730/task/6731/stat : 6731 (java) R 6727 6730 5514 0 -1 4202560 2476 0 1 0 2224 3 0 0 20 0 19 0 36414040 9856040960 41896 33554432000 1073741824 1073778376 140734172996640 139891867029808 139891732555679 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=6730/tid=6733] ppid=6727 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6730/task/6733/stat : 6733 (java) S 6727 6730 5514 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36414040 9856040960 41896 33554432000 1073741824 1073778376 140734172996640 139891856100136 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6730/tid=6734] ppid=6727 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6730/task/6734/stat : 6734 (java) S 6727 6730 5514 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36414040 9856040960 41896 33554432000 1073741824 1073778376 140734172996640 139891855047336 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6730/tid=6735] ppid=6727 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6730/task/6735/stat : 6735 (java) S 6727 6730 5514 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36414040 9856040960 41896 33554432000 1073741824 1073778376 140734172996640 139891853995048 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6730/tid=6736] ppid=6727 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6730/task/6736/stat : 6736 (java) S 6727 6730 5514 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36414040 9856040960 41896 33554432000 1073741824 1073778376 140734172996640 139891852942248 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6730/tid=6737] ppid=6727 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6730/task/6737/stat : 6737 (java) S 6727 6730 5514 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36414040 9856040960 41896 33554432000 1073741824 1073778376 140734172996640 139891851888936 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6730/tid=6738] ppid=6727 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6730/task/6738/stat : 6738 (java) S 6727 6730 5514 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36414040 9856040960 41896 33554432000 1073741824 1073778376 140734172996640 139891850836136 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6730/tid=6739] ppid=6727 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6730/task/6739/stat : 6739 (java) S 6727 6730 5514 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36414040 9856040960 41896 33554432000 1073741824 1073778376 140734172996640 139891704543784 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6730/tid=6740] ppid=6727 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6730/task/6740/stat : 6740 (java) S 6727 6730 5514 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 36414040 9856040960 41896 33554432000 1073741824 1073778376 140734172996640 139891703490984 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6730/tid=6741] ppid=6727 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6730/task/6741/stat : 6741 (java) S 6727 6730 5514 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 36414042 9856040960 41896 33554432000 1073741824 1073778376 140734172996640 139891691293416 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6730/tid=6742] ppid=6727 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6730/task/6742/stat : 6742 (java) S 6727 6730 5514 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 36414042 9856040960 41896 33554432000 1073741824 1073778376 140734172996640 139891690239480 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6730/tid=6743] ppid=6727 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6730/task/6743/stat : 6743 (java) S 6727 6730 5514 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 36414042 9856040960 41896 33554432000 1073741824 1073778376 140734172996640 139891689187080 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6730/tid=6744] ppid=6727 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6730/task/6744/stat : 6744 (java) S 6727 6730 5514 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36414045 9856040960 41896 33554432000 1073741824 1073778376 140734172996640 139891688135568 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6730/tid=6745] ppid=6727 vsize=9625040 CPUtime=1.07 cores=0,2,4,6
/proc/6730/task/6745/stat : 6745 (java) S 6727 6730 5514 0 -1 4202560 13977 0 0 0 104 3 0 0 20 0 19 0 36414045 9856040960 41896 33554432000 1073741824 1073778376 140734172996640 139891687082168 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6730/tid=6746] ppid=6727 vsize=9625040 CPUtime=0.26 cores=0,2,4,6
/proc/6730/task/6746/stat : 6746 (java) S 6727 6730 5514 0 -1 4202560 2376 0 0 0 26 0 0 0 20 0 19 0 36414045 9856040960 41896 33554432000 1073741824 1073778376 140734172996640 139891686029368 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6730/tid=6747] ppid=6727 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6730/task/6747/stat : 6747 (java) S 6727 6730 5514 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36414045 9856040960 41896 33554432000 1073741824 1073778376 140734172996640 139891684977272 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6730/tid=6748] ppid=6727 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6730/task/6748/stat : 6748 (java) S 6727 6730 5514 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 36414045 9856040960 41896 33554432000 1073741824 1073778376 140734172996640 139891683924680 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6730/tid=6749] ppid=6727 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6730/task/6749/stat : 6749 (java) S 6727 6730 5514 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 36414057 9856040960 41896 33554432000 1073741824 1073778376 140734172996640 139891682821544 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 23.65
Current children cumulated vsize (KiB) 9625040

Child status: 30
Real time (s): 22.356
CPU time (s): 23.7104
CPU user time (s): 23.6194
CPU system time (s): 0.090986
CPU usage (%): 106.058
Max. virtual memory (cumulated for all children) (KiB): 9626560

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 23.6194
system time used= 0.090986
maximum resident set size= 167648
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20124
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= 789
involuntary context switches= 107

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.124981 second user time and 0.186971 second system time

The end

Launcher Data 

Begin job on node126 at 2016-06-19 15:41:13
IDJOB=4109640
IDBENCH=78878
IDSOLVER=2551
FILE ID=node126/4109640-1466343673
RUNJOBID= node126-1466341816-5530
PBS_JOBID= 19922027
Free space on /tmp= 71740 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110977273--soft-66-100-0.wbo
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4109640-1466343673/watcher-4109640-1466343673 -o /tmp/evaluation-result-4109640-1466343673/solver-4109640-1466343673 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node126-1466341816-5530 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4109640-1466343673.wbo

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

MD5SUM BENCH= 038e2d59f80e30c95ef1e3e4582a8837
RANDOM SEED=1638398785

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        31242372 kB
Buffers:          173800 kB
Cached:           277488 kB
SwapCached:         1796 kB
Active:           169516 kB
Inactive:         345400 kB
Active(anon):      64076 kB
Inactive(anon):     1916 kB
Active(file):     105440 kB
Inactive(file):   343484 kB
Unevictable:      354768 kB
Mlocked:          338416 kB
SwapTotal:      67108856 kB
SwapFree:       67100300 kB
Dirty:              1892 kB
Writeback:             0 kB
AnonPages:        469116 kB
Mapped:            17044 kB
Shmem:                 0 kB
Slab:             609800 kB
SReclaimable:      52792 kB
SUnreclaim:       557008 kB
KernelStack:        1760 kB
PageTables:         4912 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1042496 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     98304 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71740 MiB
End job on node126 at 2016-06-19 15:41:36