Trace number 4109353

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 Res+CP PB16OPTIMUM 31.5092 48.8506

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111212923--soft-33-100-0.wbo
MD5SUMf4aa595d615e9582cb764bb4e9fc2d88
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark8
Best CPU time to get the best result obtained on this benchmark12.863
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables169
Total number of constraints101
Number of soft constraints69
Number of constraints which are clauses30
Number of constraints which are cardinality constraints (but not clauses)70
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint169
Top cost 3204
Min constraint cost 1
Max constraint cost 97
Sum of constraints costs 3203
Biggest number in a constraint 38
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 1230
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.07	c See www.sat4j.org for details.
0.00/0.08	c version PB16.v20160501
0.00/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.08	c java.vm.version	19.1-b02
0.00/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		1.6.0_24
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		501472288
0.00/0.08	c Max memory 		7480803328
0.00/0.08	c Total memory 		504102912
0.00/0.08	c Number of processors 	8
0.10/0.11	c Pseudo Boolean Optimization by upper bound
0.10/0.11	c ManyCore solver with 2 solvers running in parallel
0.10/0.11	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@16fd0b7
0.10/0.11	c Learn all clauses as in MiniSAT
0.10/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.11	c Expensive reason simplification
0.10/0.11	c Glucose 2.1 dynamic restart strategy
0.10/0.11	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.11	c timeout=2147483s
0.10/0.11	c DB Simplification allowed=false
0.10/0.11	c Listener: org.sat4j.pb.tools.ManyCorePB@4413ee
0.10/0.11	c --- End Solver configuration ---
0.10/0.11	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.10/0.11	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@75786e64
0.10/0.11	c Learn all clauses as in MiniSAT
0.10/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.11	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.10/0.11	c No reason simplification
0.10/0.11	c Armin Biere (Picosat) restarts strategy
0.10/0.11	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.11	c timeout=2147483s
0.10/0.11	c DB Simplification allowed=false
0.10/0.11	c Listener: org.sat4j.pb.tools.ManyCorePB@4413ee
0.10/0.11	c --- End Solver configuration ---
0.10/0.11	c solving HOME/instance-4109353-1467321049.wbo
0.10/0.11	c reading problem ... 
0.10/0.17	c ... done. Wall clock time 0.066s.
0.10/0.17	c declared #vars     169
0.10/0.17	c internal #vars     238
0.10/0.17	c #constraints  101
0.10/0.18	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.10/0.18	c constraints type 
0.10/0.18	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 27
0.10/0.18	c org.sat4j.minisat.constraints.card.MinWatchCard => 20
0.10/0.18	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 3
0.10/0.18	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 51
0.10/0.18	c 101 constraints processed.
0.10/0.18	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.10/0.18	c constraints type 
0.10/0.18	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 3
0.10/0.18	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 27
0.10/0.18	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 20
0.10/0.18	c org.sat4j.pb.constraints.pb.MaxWatchPb => 51
0.10/0.18	c 101 constraints processed.
0.10/0.18	c objective function length is 69 literals
1.06/0.41	c And the winner is solver0
1.37/0.68	c SATISFIABLE
1.37/0.68	c OPTIMIZING...
1.37/0.68	c Got one! Elapsed wall clock time (in seconds):0.571
1.37/0.68	o 780
1.37/0.68	c And the winner is solver0
1.37/1.18	c Got one! Elapsed wall clock time (in seconds):1.072
1.37/1.18	o 779
1.37/1.19	c And the winner is solver0
1.38/1.68	c Got one! Elapsed wall clock time (in seconds):1.573
1.38/1.68	o 776
1.38/1.68	c And the winner is solver0
1.38/2.18	c Got one! Elapsed wall clock time (in seconds):2.074
1.38/2.18	o 770
1.38/2.19	c And the winner is solver0
1.51/2.68	c Got one! Elapsed wall clock time (in seconds):2.575
1.51/2.68	o 763
1.51/2.69	c And the winner is solver0
1.58/3.18	c Got one! Elapsed wall clock time (in seconds):3.076
1.58/3.18	o 701
1.58/3.19	c And the winner is solver0
1.58/3.68	c Got one! Elapsed wall clock time (in seconds):3.577
1.58/3.68	o 691
1.58/3.69	c And the winner is solver0
1.62/4.18	c Got one! Elapsed wall clock time (in seconds):4.078
1.62/4.18	o 671
1.64/4.29	c And the winner is solver0
2.00/4.69	c Got one! Elapsed wall clock time (in seconds):4.579
2.00/4.69	o 664
2.02/4.70	c And the winner is solver0
2.10/5.19	c Got one! Elapsed wall clock time (in seconds):5.08
2.10/5.19	o 660
2.10/5.19	c And the winner is solver0
2.10/5.69	c Got one! Elapsed wall clock time (in seconds):5.581
2.10/5.69	o 625
2.12/5.72	c And the winner is solver0
2.26/6.19	c Got one! Elapsed wall clock time (in seconds):6.082
2.26/6.19	o 608
2.26/6.19	c And the winner is solver0
2.28/6.69	c Got one! Elapsed wall clock time (in seconds):6.583
2.28/6.69	o 574
2.28/6.69	c And the winner is solver0
2.28/7.19	c Got one! Elapsed wall clock time (in seconds):7.084
2.28/7.19	o 560
2.29/7.20	c And the winner is solver0
2.29/7.69	c Got one! Elapsed wall clock time (in seconds):7.585
2.29/7.69	o 554
2.29/7.70	c And the winner is solver0
2.29/8.19	c Got one! Elapsed wall clock time (in seconds):8.086
2.29/8.19	o 475
2.30/8.21	c And the winner is solver0
2.34/8.69	c Got one! Elapsed wall clock time (in seconds):8.587
2.34/8.69	o 472
2.34/8.70	c And the winner is solver0
2.34/9.19	c Got one! Elapsed wall clock time (in seconds):9.088
2.34/9.19	o 467
2.37/9.21	c And the winner is solver0
2.37/9.70	c Got one! Elapsed wall clock time (in seconds):9.589
2.37/9.70	o 453
2.37/9.70	c And the winner is solver0
2.37/10.20	c Got one! Elapsed wall clock time (in seconds):10.089
2.37/10.20	o 434
2.37/10.20	c And the winner is solver0
2.37/10.70	c Got one! Elapsed wall clock time (in seconds):10.59
2.37/10.70	o 427
2.37/10.70	c And the winner is solver0
2.39/11.20	c Got one! Elapsed wall clock time (in seconds):11.091
2.39/11.20	o 418
2.39/11.20	c And the winner is solver0
2.39/11.70	c Got one! Elapsed wall clock time (in seconds):11.592
2.39/11.70	o 415
2.39/11.70	c And the winner is solver0
2.40/12.20	c Got one! Elapsed wall clock time (in seconds):12.093
2.40/12.20	o 406
2.40/12.20	c And the winner is solver0
2.40/12.70	c Got one! Elapsed wall clock time (in seconds):12.594
2.40/12.70	o 397
2.40/12.72	c And the winner is solver0
2.54/13.20	c Got one! Elapsed wall clock time (in seconds):13.095
2.54/13.20	o 395
2.54/13.21	c And the winner is solver0
2.54/13.70	c Got one! Elapsed wall clock time (in seconds):13.596
2.54/13.70	o 386
2.54/13.71	c And the winner is solver0
2.55/14.20	c Got one! Elapsed wall clock time (in seconds):14.097
2.55/14.20	o 383
2.55/14.21	c And the winner is solver0
2.57/14.70	c Got one! Elapsed wall clock time (in seconds):14.598
2.57/14.70	o 357
2.57/14.72	c And the winner is solver0
2.61/15.21	c Got one! Elapsed wall clock time (in seconds):15.099
2.61/15.21	o 353
2.61/15.22	c And the winner is solver0
2.69/15.71	c Got one! Elapsed wall clock time (in seconds):15.6
2.69/15.71	o 351
2.69/15.72	c And the winner is solver0
2.73/16.21	c Got one! Elapsed wall clock time (in seconds):16.101
2.73/16.21	o 344
2.73/16.21	c And the winner is solver0
2.73/16.71	c Got one! Elapsed wall clock time (in seconds):16.602
2.73/16.71	o 341
2.73/16.74	c And the winner is solver0
2.79/17.21	c Got one! Elapsed wall clock time (in seconds):17.103
2.79/17.21	o 340
2.79/17.23	c And the winner is solver0
2.83/17.71	c Got one! Elapsed wall clock time (in seconds):17.604
2.83/17.71	o 282
2.83/17.72	c And the winner is solver0
2.87/18.21	c Got one! Elapsed wall clock time (in seconds):18.105
2.87/18.21	o 280
2.87/18.23	c And the winner is solver0
2.90/18.71	c Got one! Elapsed wall clock time (in seconds):18.606
2.90/18.71	o 277
2.90/18.79	c And the winner is solver0
3.07/19.21	c Got one! Elapsed wall clock time (in seconds):19.107
3.07/19.21	o 276
3.23/19.35	c cleaning 6736 clauses out of 13484 with flag 6812/13484
3.23/19.39	c And the winner is solver0
3.47/19.71	c Got one! Elapsed wall clock time (in seconds):19.608
3.47/19.71	o 275
3.47/19.74	c And the winner is solver0
3.53/20.22	c Got one! Elapsed wall clock time (in seconds):20.109
3.53/20.22	o 269
3.53/20.23	c And the winner is solver0
3.55/20.72	c Got one! Elapsed wall clock time (in seconds):20.61
3.55/20.72	o 251
3.78/20.88	c And the winner is solver0
4.03/21.22	c Got one! Elapsed wall clock time (in seconds):21.111
4.03/21.22	o 232
4.03/21.27	c cleaning 6691 clauses out of 13387 with flag 3403/20123
4.03/21.29	c And the winner is solver0
4.24/21.72	c Got one! Elapsed wall clock time (in seconds):21.612
4.24/21.72	o 227
4.24/21.79	c And the winner is solver0
4.42/22.22	c Got one! Elapsed wall clock time (in seconds):22.113
4.42/22.22	o 213
4.42/22.23	c And the winner is solver0
4.44/22.72	c Got one! Elapsed wall clock time (in seconds):22.614
4.44/22.72	o 210
4.59/22.80	c And the winner is solver0
4.68/23.22	c Got one! Elapsed wall clock time (in seconds):23.114
4.68/23.22	o 207
4.68/23.26	c And the winner is solver0
4.80/23.72	c Got one! Elapsed wall clock time (in seconds):23.615
4.80/23.72	o 205
4.80/23.73	c And the winner is solver0
4.83/24.22	c Got one! Elapsed wall clock time (in seconds):24.116
4.83/24.22	o 204
4.83/24.24	c And the winner is solver0
4.87/24.72	c Got one! Elapsed wall clock time (in seconds):24.617
4.87/24.72	o 203
4.87/24.75	c And the winner is solver0
4.93/25.22	c Got one! Elapsed wall clock time (in seconds):25.118
4.93/25.22	o 201
4.93/25.24	c And the winner is solver0
4.98/25.73	c Got one! Elapsed wall clock time (in seconds):25.619
4.98/25.73	o 199
5.12/25.85	c And the winner is solver0
5.27/26.23	c Got one! Elapsed wall clock time (in seconds):26.12
5.27/26.23	o 192
5.27/26.26	c And the winner is solver0
5.38/26.73	c Got one! Elapsed wall clock time (in seconds):26.621
5.38/26.73	o 162
5.38/26.76	c And the winner is solver0
5.55/27.23	c Got one! Elapsed wall clock time (in seconds):27.122
5.55/27.23	o 143
5.55/27.29	c cleaning 9142 clauses out of 18283 with flag 3884/31710
5.71/27.38	c And the winner is solver0
5.89/27.73	c Got one! Elapsed wall clock time (in seconds):27.622
5.89/27.73	o 141
6.03/27.87	c cleaning 7278 clauses out of 14563 with flag 14472/37132
6.23/27.98	c And the winner is solver0
6.41/28.23	c Got one! Elapsed wall clock time (in seconds):28.123
6.41/28.23	o 140
6.55/28.32	c cleaning 6158 clauses out of 12321 with flag 9102/42168
6.75/28.49	c And the winner is solver0
6.94/28.73	c Got one! Elapsed wall clock time (in seconds):28.624
6.94/28.73	o 139
6.94/28.78	c cleaning 5979 clauses out of 11974 with flag 4833/47979
7.09/28.83	c And the winner is solver0
7.19/29.23	c Got one! Elapsed wall clock time (in seconds):29.125
7.19/29.23	o 137
7.32/29.30	c And the winner is solver0
7.35/29.73	c Got one! Elapsed wall clock time (in seconds):29.626
7.35/29.73	o 120
7.35/29.76	c And the winner is solver0
7.48/30.23	c Got one! Elapsed wall clock time (in seconds):30.126
7.48/30.23	o 118
7.62/30.34	c cleaning 5830 clauses out of 11665 with flag 8060/53649
7.62/30.36	c And the winner is solver0
8.10/30.73	c Got one! Elapsed wall clock time (in seconds):30.627
8.10/30.73	o 90
8.10/30.75	c And the winner is solver0
8.14/31.23	c Got one! Elapsed wall clock time (in seconds):31.128
8.14/31.23	o 82
8.48/31.45	c cleaning 5863 clauses out of 11733 with flag 19618/59547
8.48/31.47	c And the winner is solver0
8.91/31.74	c Got one! Elapsed wall clock time (in seconds):31.629
8.91/31.74	o 76
9.04/31.84	c And the winner is solver0
9.16/32.24	c Got one! Elapsed wall clock time (in seconds):32.13
9.16/32.24	o 74
9.16/32.29	c And the winner is solver0
9.27/32.74	c Got one! Elapsed wall clock time (in seconds):32.631
9.27/32.74	o 66
9.27/32.79	c And the winner is solver0
9.40/33.24	c Got one! Elapsed wall clock time (in seconds):33.133
9.40/33.24	o 65
9.40/33.29	c cleaning 6288 clauses out of 12587 with flag 3799/66264
9.91/33.52	c cleaning 6146 clauses out of 12299 with flag 27014/72264
9.91/33.53	c And the winner is solver0
10.04/33.74	c Got one! Elapsed wall clock time (in seconds):33.634
10.04/33.74	o 64
10.15/33.88	c And the winner is solver0
10.37/34.24	c Got one! Elapsed wall clock time (in seconds):34.136
10.37/34.24	o 60
10.37/34.28	c And the winner is solver0
10.49/34.74	c Got one! Elapsed wall clock time (in seconds):34.637
10.49/34.74	o 59
10.60/34.84	c cleaning 6523 clauses out of 13063 with flag 8212/79174
11.00/35.08	c cleaning 6267 clauses out of 12537 with flag 32921/85171
11.61/35.35	c cleaning 6631 clauses out of 13270 with flag 58955/92171
12.20/35.69	c cleaning 7312 clauses out of 14640 with flag 90678/100172
12.60/35.86	c And the winner is solver0
12.80/36.25	c Got one! Elapsed wall clock time (in seconds):36.139
12.80/36.25	o 56
12.80/36.30	c cleaning 6365 clauses out of 12740 with flag 4374/105584
13.11/36.48	c And the winner is solver0
13.31/36.75	c Got one! Elapsed wall clock time (in seconds):36.641
13.31/36.75	o 53
13.31/36.78	c And the winner is solver0
13.44/37.25	c Got one! Elapsed wall clock time (in seconds):37.144
13.44/37.25	o 31
13.54/37.30	c cleaning 6330 clauses out of 12663 with flag 4147/111872
13.96/37.52	c cleaning 6157 clauses out of 12333 with flag 25496/117872
13.96/37.58	c And the winner is solver0
14.15/37.75	c Got one! Elapsed wall clock time (in seconds):37.647
14.15/37.75	o 28
14.24/37.87	c cleaning 5619 clauses out of 11256 with flag 12399/122952
14.44/37.99	c And the winner is solver0
14.67/38.26	c Got one! Elapsed wall clock time (in seconds):38.151
14.67/38.26	o 25
14.74/38.33	c cleaning 5639 clauses out of 11286 with flag 7799/128601
15.16/38.55	c cleaning 5820 clauses out of 11647 with flag 30476/134602
15.56/38.71	c And the winner is solver0
15.56/38.76	c Got one! Elapsed wall clock time (in seconds):38.654
15.56/38.76	o 24
15.56/38.78	c And the winner is solver0
15.65/39.26	c Got one! Elapsed wall clock time (in seconds):39.158
15.65/39.26	o 23
16.13/39.50	c cleaning 8092 clauses out of 16187 with flag 19717/144962
16.54/39.74	c cleaning 7048 clauses out of 14099 with flag 42689/150966
17.13/40.04	c cleaning 7022 clauses out of 14049 with flag 71532/157965
17.73/40.36	c cleaning 7505 clauses out of 15024 with flag 102871/165962
18.55/40.76	c cleaning 8258 clauses out of 16521 with flag 138114/174964
19.35/41.19	c cleaning 9129 clauses out of 18259 with flag 180251/184963
19.55/41.28	c And the winner is solver0
19.87/41.77	c Got one! Elapsed wall clock time (in seconds):41.663
19.87/41.77	o 16
19.93/41.90	c cleaning 7169 clauses out of 14343 with flag 13686/190176
20.52/42.13	c cleaning 6578 clauses out of 13174 with flag 40179/196176
20.92/42.38	c cleaning 6792 clauses out of 13595 with flag 70168/203177
20.92/42.39	c And the winner is solver0
21.15/42.77	c Got one! Elapsed wall clock time (in seconds):42.668
21.15/42.77	o 15
21.40/42.97	c cleaning 6072 clauses out of 12162 with flag 23285/208536
21.79/43.18	c cleaning 6037 clauses out of 12089 with flag 47973/214536
22.39/43.45	c cleaning 6519 clauses out of 13052 with flag 78205/221536
22.99/43.76	c cleaning 7267 clauses out of 14533 with flag 115701/229537
23.60/44.09	c And the winner is solver0
24.09/44.43	c Got one! Elapsed wall clock time (in seconds):44.325
24.09/44.43	o 14
24.64/44.70	c cleaning 10300 clauses out of 20606 with flag 24584/242878
25.04/44.97	c cleaning 8150 clauses out of 16306 with flag 54766/248879
25.66/45.27	c cleaning 7570 clauses out of 15154 with flag 89370/255878
26.44/45.62	c cleaning 7785 clauses out of 15581 with flag 130614/263876
27.04/45.91	c And the winner is solver0
27.04/45.99	c Got one! Elapsed wall clock time (in seconds):45.881
27.04/45.99	o 10
27.17/46.06	c And the winner is solver0
27.31/46.50	c Got one! Elapsed wall clock time (in seconds):46.393
27.31/46.50	o 9
27.70/46.71	c cleaning 10050 clauses out of 20119 with flag 20173/276202
28.10/46.91	c And the winner is solver0
28.41/47.26	c Got one! Elapsed wall clock time (in seconds):47.15
28.41/47.26	o 8
28.53/47.31	c cleaning 7977 clauses out of 15956 with flag 4907/282089
28.93/47.55	c cleaning 6987 clauses out of 13977 with flag 34336/288089
29.53/47.83	c cleaning 6995 clauses out of 13992 with flag 67801/295092
30.13/48.16	c cleaning 7490 clauses out of 14987 with flag 106738/303089
30.94/48.56	c cleaning 8240 clauses out of 16487 with flag 151801/312089
30.94/48.59	c And the winner is solver0
31.33/48.84	c >>>>>>>>>> Solver number 0 (83 answers) <<<<<<<<<<<<<<<<<<
31.33/48.84	c starts		: 198
31.33/48.84	c conflicts		: 312874
31.33/48.84	c decisions		: 492363
31.33/48.84	c propagations		: 7245232
31.33/48.84	c inspects		: 146062183
31.33/48.84	c shortcuts		: 0
31.33/48.84	c learnt literals	: 46
31.33/48.84	c learnt binary clauses	: 34
31.33/48.84	c learnt ternary clauses	: 738
31.33/48.84	c learnt constraints	: 312827
31.33/48.84	c ignored constraints	: 0
31.33/48.84	c root simplifications	: 0
31.33/48.84	c removed literals (reason simplification)	: 1412565
31.33/48.84	c reason swapping (by a shorter reason)	: 0
31.33/48.84	c Calls to reduceDB	: 43
31.33/48.84	c Number of update (reduction) of LBD	: 78675
31.33/48.84	c Imported unit clauses	: 0
31.33/48.84	c number of reductions to clauses (during analyze)	: 0
31.33/48.84	c number of learned constraints concerned by reduction	: 0
31.33/48.84	c number of learning phase by resolution	: 0
31.33/48.84	c number of learning phase by cutting planes	: 0
31.33/48.84	c speed (assignments/second)	: 148891.96687285506
31.33/48.84	c non guided choices	3216
31.33/48.84	c learnt constraints type 
31.33/48.84	c >>>>>>>>>> Solver number 1 (0 answers) <<<<<<<<<<<<<<<<<<
31.33/48.84	c starts		: 83
31.33/48.84	c conflicts		: 493
31.33/48.84	c decisions		: 8622
31.33/48.84	c propagations		: 30098
31.33/48.84	c inspects		: 1456656
31.33/48.84	c shortcuts		: 0
31.33/48.84	c learnt literals	: 0
31.33/48.84	c learnt binary clauses	: 0
31.33/48.84	c learnt ternary clauses	: 0
31.33/48.84	c learnt constraints	: 418
31.33/48.84	c ignored constraints	: 0
31.33/48.84	c root simplifications	: 0
31.33/48.84	c removed literals (reason simplification)	: 0
31.33/48.84	c reason swapping (by a shorter reason)	: 0
31.33/48.84	c Calls to reduceDB	: 0
31.33/48.84	c Number of update (reduction) of LBD	: 0
31.33/48.84	c Imported unit clauses	: 0
31.33/48.84	c number of reductions to clauses (during analyze)	: 0
31.33/48.84	c number of learned constraints concerned by reduction	: 0
31.33/48.84	c number of learning phase by resolution	: 0
31.33/48.84	c number of learning phase by cutting planes	: 0
31.33/48.84	c speed (assignments/second)	: 19182.91905672403
31.33/48.84	c non guided choices	1702
31.33/48.84	c learnt constraints type 
31.33/48.84	s OPTIMUM FOUND
31.33/48.84	c Found 82 solution(s)
31.33/48.84	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 
31.33/48.84	c objective function=8
31.33/48.84	c Total wall clock time (in seconds): 48.736

Verifier Data 

OK	8

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-4109353-1467321049/watcher-4109353-1467321049 -o /tmp/evaluation-result-4109353-1467321049/solver-4109353-1467321049 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node119-1467318689-18276 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4109353-1467321049.wbo 

pid=24606
running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.83 1.84 1.95 3/197 24609
/proc/meminfo: memFree=29530432/32872528 swapFree=1254912/1391860
[pid=24609] ppid=24606 vsize=96260 CPUtime=0 cores=0,2,4,6
/proc/24609/stat : 24609 (java) S 24606 24609 16091 0 -1 4202496 1354 0 0 0 0 0 0 0 20 0 2 0 13065783 98570240 977 33554432000 1073741824 1073778376 140736897877184 140736897868320 272889839677 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24609/statm: 24065 977 743 9 0 16771 0
[pid=24609/tid=24610] ppid=24606 vsize=96260 CPUtime=0 cores=0,2,4,6
/proc/24609/task/24610/stat : 24610 (java) R 24606 24609 16091 0 -1 4202560 129 0 0 0 0 0 0 0 20 0 2 0 13065784 98570240 977 33554432000 1073741824 1073778376 140736897877184 139670003269160 272886482304 0 0 4096 0 0 0 0 -1 2 0 0 0 0 0

[startup+0.100059 s]
/proc/loadavg: 1.83 1.84 1.95 3/197 24609
/proc/meminfo: memFree=29530432/32872528 swapFree=1254912/1391860
[pid=24609] ppid=24606 vsize=9558476 CPUtime=0.1 cores=0,2,4,6
/proc/24609/stat : 24609 (java) S 24606 24609 16091 0 -1 4202496 4505 0 1 0 9 1 0 0 20 0 18 0 13065783 9787879424 6121 33554432000 1073741824 1073778376 140736897877184 140736897868320 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24609/statm: 2389619 6121 2156 9 0 2380296 0
[pid=24609/tid=24610] ppid=24606 vsize=9558476 CPUtime=0.07 cores=0,2,4,6
/proc/24609/task/24610/stat : 24610 (java) R 24606 24609 16091 0 -1 4202560 2386 0 1 0 7 0 0 0 20 0 18 0 13065784 9787879424 6121 33554432000 1073741824 1073778376 140736897877184 139670003273080 139670006114523 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558476

[startup+0.200269 s]
/proc/loadavg: 1.83 1.84 1.95 3/197 24609
/proc/meminfo: memFree=29530432/32872528 swapFree=1254912/1391860
[pid=24609] ppid=24606 vsize=9824732 CPUtime=0.27 cores=0,2,4,6
/proc/24609/stat : 24609 (java) S 24606 24609 16091 0 -1 4202496 4812 0 1 0 25 2 0 0 20 0 22 0 13065783 10060525568 7913 33554432000 1073741824 1073778376 140736897877184 140736897868320 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24609/statm: 2456183 7913 2220 9 0 2446860 0
[pid=24609/tid=24610] ppid=24606 vsize=9824732 CPUtime=0.16 cores=0,2,4,6
/proc/24609/task/24610/stat : 24610 (java) S 24606 24609 16091 0 -1 4202560 2418 0 1 0 16 0 0 0 20 0 22 0 13065784 10060525568 7913 33554432000 1073741824 1073778376 140736897877184 139670003274616 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 9824732

[startup+0.300257 s]
/proc/loadavg: 1.83 1.84 1.95 3/197 24609
/proc/meminfo: memFree=29530432/32872528 swapFree=1254912/1391860
[pid=24609] ppid=24606 vsize=9824732 CPUtime=0.67 cores=0,2,4,6
/proc/24609/stat : 24609 (java) S 24606 24609 16091 0 -1 4202496 7653 0 1 0 65 2 0 0 20 0 22 0 13065783 10060525568 9892 33554432000 1073741824 1073778376 140736897877184 140736897868320 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24609/statm: 2456183 9892 2250 9 0 2446860 0
[pid=24609/tid=24610] ppid=24606 vsize=9824732 CPUtime=0.16 cores=0,2,4,6
/proc/24609/task/24610/stat : 24610 (java) S 24606 24609 16091 0 -1 4202560 2418 0 1 0 16 0 0 0 20 0 22 0 13065784 10060525568 9892 33554432000 1073741824 1073778376 140736897877184 139670003274616 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 9824732

[startup+0.700331 s]
/proc/loadavg: 1.83 1.84 1.95 3/197 24609
/proc/meminfo: memFree=29530432/32872528 swapFree=1254912/1391860
[pid=24609] ppid=24606 vsize=9824732 CPUtime=1.37 cores=0,2,4,6
/proc/24609/stat : 24609 (java) S 24606 24609 16091 0 -1 4202496 15094 0 1 0 132 5 0 0 20 0 19 0 13065783 10060525568 15090 33554432000 1073741824 1073778376 140736897877184 140736897868320 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24609/statm: 2456183 15090 2257 9 0 2446860 0
[pid=24609/tid=24610] ppid=24606 vsize=9824732 CPUtime=0.16 cores=0,2,4,6
/proc/24609/task/24610/stat : 24610 (java) S 24606 24609 16091 0 -1 4202560 2418 0 1 0 16 0 0 0 20 0 19 0 13065784 10060525568 15090 33554432000 1073741824 1073778376 140736897877184 139670003274616 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.37
Current children cumulated vsize (KiB) 9824732

[startup+1.50083 s]
/proc/loadavg: 1.83 1.84 1.95 2/216 24634
/proc/meminfo: memFree=29478136/32872528 swapFree=1254912/1391860
[pid=24609] ppid=24606 vsize=9824732 CPUtime=1.38 cores=0,2,4,6
/proc/24609/stat : 24609 (java) S 24606 24609 16091 0 -1 4202496 15104 0 1 0 133 5 0 0 20 0 19 0 13065783 10060525568 16115 33554432000 1073741824 1073778376 140736897877184 140736897868320 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24609/statm: 2456183 16115 2257 9 0 2446860 0
[pid=24609/tid=24610] ppid=24606 vsize=9824732 CPUtime=0.16 cores=0,2,4,6
/proc/24609/task/24610/stat : 24610 (java) S 24606 24609 16091 0 -1 4202560 2419 0 1 0 16 0 0 0 20 0 19 0 13065784 10060525568 16115 33554432000 1073741824 1073778376 140736897877184 139670003274616 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24609/tid=24612] ppid=24606 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24609/task/24612/stat : 24612 (java) S 24606 24609 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13065784 10060525568 16115 33554432000 1073741824 1073778376 140736897877184 139669992336296 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24609/tid=24613] ppid=24606 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24609/task/24613/stat : 24613 (java) S 24606 24609 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13065784 10060525568 16115 33554432000 1073741824 1073778376 140736897877184 139669991283752 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24609/tid=24614] ppid=24606 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24609/task/24614/stat : 24614 (java) S 24606 24609 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13065784 10060525568 16115 33554432000 1073741824 1073778376 140736897877184 139669990230696 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24609/tid=24615] ppid=24606 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24609/task/24615/stat : 24615 (java) S 24606 24609 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13065784 10060525568 16115 33554432000 1073741824 1073778376 140736897877184 139669989178152 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24609/tid=24616] ppid=24606 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24609/task/24616/stat : 24616 (java) S 24606 24609 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13065784 10060525568 16115 33554432000 1073741824 1073778376 140736897877184 139669842639272 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24609/tid=24617] ppid=24606 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24609/task/24617/stat : 24617 (java) S 24606 24609 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13065784 10060525568 16115 33554432000 1073741824 1073778376 140736897877184 139669841586728 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24609/tid=24618] ppid=24606 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24609/task/24618/stat : 24618 (java) S 24606 24609 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13065784 10060525568 16115 33554432000 1073741824 1073778376 140736897877184 139669840533672 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24609/tid=24619] ppid=24606 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24609/task/24619/stat : 24619 (java) S 24606 24609 16091 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 13065784 10060525568 16115 33554432000 1073741824 1073778376 140736897877184 139669839481128 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24609/tid=24620] ppid=24606 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24609/task/24620/stat : 24620 (java) S 24606 24609 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 13065785 10060525568 16115 33554432000 1073741824 1073778376 140736897877184 139669827283816 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24609/tid=24621] ppid=24606 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24609/task/24621/stat : 24621 (java) S 24606 24609 16091 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 13065786 10060525568 16115 33554432000 1073741824 1073778376 140736897877184 139669826230136 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24609/tid=24622] ppid=24606 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24609/task/24622/stat : 24622 (java) S 24606 24609 16091 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 13065786 10060525568 16115 33554432000 1073741824 1073778376 140736897877184 139669825176968 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24609/tid=24623] ppid=24606 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24609/task/24623/stat : 24623 (java) S 24606 24609 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13065788 10060525568 16115 33554432000 1073741824 1073778376 140736897877184 139669824125712 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24609/tid=24624] ppid=24606 vsize=9824732 CPUtime=0.36 cores=0,2,4,6
/proc/24609/task/24624/stat : 24624 (java) S 24606 24609 16091 0 -1 4202560 3745 0 0 0 36 0 0 0 20 0 19 0 13065788 10060525568 16115 33554432000 1073741824 1073778376 140736897877184 139669823072568 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24609/tid=24625] ppid=24606 vsize=9824732 CPUtime=0.35 cores=0,2,4,6
/proc/24609/task/24625/stat : 24625 (java) S 24606 24609 16091 0 -1 4202560 7592 0 0 0 33 2 0 0 20 0 19 0 13065788 10060525568 16115 33554432000 1073741824 1073778376 140736897877184 139669822020024 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24609/tid=24626] ppid=24606 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24609/task/24626/stat : 24626 (java) S 24606 24609 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13065788 10060525568 16115 33554432000 1073741824 1073778376 140736897877184 139669820967160 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24609/tid=24627] ppid=24606 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24609/task/24627/stat : 24627 (java) S 24606 24609 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13065788 10060525568 16115 33554432000 1073741824 1073778376 140736897877184 139669819914824 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24609/tid=24631] ppid=24606 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24609/task/24631/stat : 24631 (java) S 24606 24609 16091 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 13065801 10060525568 16115 33554432000 1073741824 1073778376 140736897877184 139669815702952 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 9824732

[startup+3.10082 s]
/proc/loadavg: 1.83 1.84 1.95 4/216 24643
/proc/meminfo: memFree=29463668/32872528 swapFree=1254912/1391860
[pid=24609] ppid=24606 vsize=9824732 CPUtime=1.58 cores=0,2,4,6
/proc/24609/stat : 24609 (java) S 24606 24609 16091 0 -1 4202496 16110 0 1 0 152 6 0 0 20 0 19 0 13065783 10060525568 19307 33554432000 1073741824 1073778376 140736897877184 140736897868320 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24609/statm: 2456183 19307 2257 9 0 2446860 0
[pid=24609/tid=24610] ppid=24606 vsize=9824732 CPUtime=0.16 cores=0,2,4,6
/proc/24609/task/24610/stat : 24610 (java) S 24606 24609 16091 0 -1 4202560 2419 0 1 0 16 0 0 0 20 0 19 0 13065784 10060525568 19307 33554432000 1073741824 1073778376 140736897877184 139670003274616 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24609/tid=24612] ppid=24606 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24609/task/24612/stat : 24612 (java) S 24606 24609 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13065784 10060525568 19307 33554432000 1073741824 1073778376 140736897877184 139669992336296 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24609/tid=24613] ppid=24606 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24609/task/24613/stat : 24613 (java) S 24606 24609 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13065784 10060525568 19307 33554432000 1073741824 1073778376 140736897877184 139669991283752 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24609/tid=24614] ppid=24606 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24609/task/24614/stat : 24614 (java) S 24606 24609 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13065784 10060525568 19307 33554432000 1073741824 1073778376 140736897877184 139669990230696 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24609/tid=24615] ppid=24606 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24609/task/24615/stat : 24615 (java) S 24606 24609 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13065784 10060525568 19307 33554432000 1073741824 1073778376 140736897877184 139669989178152 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24609/tid=24616] ppid=24606 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24609/task/24616/stat : 24616 (java) S 24606 24609 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13065784 10060525568 19307 33554432000 1073741824 1073778376 140736897877184 139669842639272 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24609/tid=24617] ppid=24606 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24609/task/24617/stat : 24617 (java) S 24606 24609 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13065784 10060525568 19307 33554432000 1073741824 1073778376 140736897877184 139669841586728 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24609/tid=24618] ppid=24606 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24609/task/24618/stat : 24618 (java) S 24606 24609 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13065784 10060525568 19307 33554432000 1073741824 1073778376 140736897877184 139669840533672 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24609/tid=24619] ppid=24606 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24609/task/24619/stat : 24619 (java) S 24606 24609 16091 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 13065784 10060525568 19307 33554432000 1073741824 1073778376 140736897877184 139669839481128 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24609/tid=24620] ppid=24606 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24609/task/24620/stat : 24620 (java) S 24606 24609 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 13065785 10060525568 19307 33554432000 1073741824 1073778376 140736897877184 139669827283816 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24609/tid=24621] ppid=24606 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24609/task/24621/stat : 24621 (java) S 24606 24609 16091 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 13065786 10060525568 19307 33554432000 1073741824 1073778376 140736897877184 139669826230136 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24609/tid=24622] ppid=24606 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24609/task/24622/stat : 24622 (java) S 24606 24609 16091 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 13065786 10060525568 19307 33554432000 1073741824 1073778376 140736897877184 139669825176968 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24609/tid=24623] ppid=24606 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24609/task/24623/stat : 24623 (java) S 24606 24609 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13065788 10060525568 19307 33554432000 1073741824 1073778376 140736897877184 139669824125712 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24609/tid=24624] ppid=24606 vsize=9824732 CPUtime=0.43 cores=0,2,4,6
/proc/24609/task/24624/stat : 24624 (java) S 24606 24609 16091 0 -1 4202560 4612 0 0 0 43 0 0 0 20 0 19 0 13065788 10060525568 19307 33554432000 1073741824 1073778376 140736897877184 139669823072568 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24609/tid=24625] ppid=24606 vsize=9824732 CPUtime=0.45 cores=0,2,4,6
/proc/24609/task/24625/stat : 24625 (java) S 24606 24609 16091 0 -1 4202560 7706 0 0 0 43 2 0 0 20 0 19 0 13065788 10060525568 19307 33554432000 1073741824 1073778376 140736897877184 139669822020024 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24609/tid=24626] ppid=24606 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24609/task/24626/stat : 24626 (java) S 24606 24609 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13065788 10060525568 19307 33554432000 1073741824 1073778376 140736897877184 139669820967160 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24609/tid=24627] ppid=24606 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24609/task/24627/stat : 24627 (java) S 24606 24609 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13065788 10060525568 19307 33554432000 1073741824 1073778376 140736897877184 139669819914824 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24609/tid=24631] ppid=24606 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24609/task/24631/stat : 24631 (java) S 24606 24609 16091 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 13065801 10060525568 19307 33554432000 1073741824 1073778376 140736897877184 139669815702952 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.58
Current children cumulated vsize (KiB) 9824732
heavy processes:
  %CPU=27 pid=1779 uid=0 cmd=

[startup+6.30089 s]
/proc/loadavg: 1.76 1.83 1.94 2/216 24661
/proc/meminfo: memFree=29418744/32872528 swapFree=1254912/1391860
[pid=24609] ppid=24606 vsize=9824732 CPUtime=2.28 cores=0,2,4,6
/proc/24609/stat : 24609 (java) S 24606 24609 16091 0 -1 4202496 18403 0 1 0 215 13 0 0 20 0 19 0 13065783 10060525568 32196 33554432000 1073741824 1073778376 140736897877184 140736897868320 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24609/statm: 2456183 32196 2269 9 0 2446860 0
[pid=24609/tid=24610] ppid=24606 vsize=9824732 CPUtime=0.17 cores=0,2,4,6
/proc/24609/task/24610/stat : 24610 (java) S 24606 24609 16091 0 -1 4202560 2421 0 1 0 16 1 0 0 20 0 19 0 13065784 10060525568 32196 33554432000 1073741824 1073778376 140736897877184 139670003274616 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24609/tid=24612] ppid=24606 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24609/task/24612/stat : 24612 (java) S 24606 24609 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13065784 10060525568 32196 33554432000 1073741824 1073778376 140736897877184 139669992336296 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24609/tid=24613] ppid=24606 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24609/task/24613/stat : 24613 (java) S 24606 24609 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13065784 10060525568 32196 33554432000 1073741824 1073778376 140736897877184 139669991283752 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24609/tid=24614] ppid=24606 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24609/task/24614/stat : 24614 (java) S 24606 24609 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13065784 10060525568 32196 33554432000 1073741824 1073778376 140736897877184 139669990230696 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24609/tid=24615] ppid=24606 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24609/task/24615/stat : 24615 (java) S 24606 24609 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13065784 10060525568 32196 33554432000 1073741824 1073778376 140736897877184 139669989178152 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24609/tid=24616] ppid=24606 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24609/task/24616/stat : 24616 (java) S 24606 24609 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13065784 10060525568 32196 33554432000 1073741824 1073778376 140736897877184 139669842639272 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24609/tid=24617] ppid=24606 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24609/task/24617/stat : 24617 (java) S 24606 24609 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13065784 10060525568 32196 33554432000 1073741824 1073778376 140736897877184 139669841586728 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24609/tid=24618] ppid=24606 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24609/task/24618/stat : 24618 (java) S 24606 24609 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13065784 10060525568 32196 33554432000 1073741824 1073778376 140736897877184 139669840533672 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24609/tid=24619] ppid=24606 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24609/task/24619/stat : 24619 (java) S 24606 24609 16091 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 13065784 10060525568 32196 33554432000 1073741824 1073778376 140736897877184 139669839481128 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24609/tid=24620] ppid=24606 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24609/task/24620/stat : 24620 (java) S 24606 24609 16091 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 13065785 10060525568 32196 33554432000 1073741824 1073778376 140736897877184 139669827283816 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24609/tid=24621] ppid=24606 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24609/task/24621/stat : 24621 (java) S 24606 24609 16091 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 13065786 10060525568 32196 33554432000 1073741824 1073778376 140736897877184 139669826230136 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24609/tid=24622] ppid=24606 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24609/task/24622/stat : 24622 (java) S 24606 24609 16091 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 13065786 10060525568 32196 33554432000 1073741824 1073778376 140736897877184 139669825176968 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24609/tid=24623] ppid=24606 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24609/task/24623/stat : 24623 (java) S 24606 24609 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13065788 10060525568 32196 33554432000 1073741824 1073778376 140736897877184 139669824125712 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24609/tid=24624] ppid=24606 vsize=9824732 CPUtime=0.69 cores=0,2,4,6

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

/proc/24609/task/24625/stat : 24625 (java) S 24606 24609 16091 0 -1 4202560 18100 0 0 0 155 4 0 0 20 0 19 0 13065788 10060525568 51471 33554432000 1073741824 1073778376 140736897877184 139669822020024 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24609/tid=24626] ppid=24606 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24609/task/24626/stat : 24626 (java) S 24606 24609 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13065788 10060525568 51471 33554432000 1073741824 1073778376 140736897877184 139669820967160 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24609/tid=24627] ppid=24606 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24609/task/24627/stat : 24627 (java) S 24606 24609 16091 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 13065788 10060525568 51471 33554432000 1073741824 1073778376 140736897877184 139669819914824 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24609/tid=24631] ppid=24606 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24609/task/24631/stat : 24631 (java) S 24606 24609 16091 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 13065801 10060525568 51471 33554432000 1073741824 1073778376 140736897877184 139669815702952 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 27.3
Current children cumulated vsize (KiB) 9824732

[startup+48.0009 s]
/proc/loadavg: 2.09 1.88 1.95 4/218 24877
/proc/meminfo: memFree=29358920/32872528 swapFree=1254912/1391860
[pid=24609] ppid=24606 vsize=9824732 CPUtime=29.92 cores=0,2,4,6
/proc/24609/stat : 24609 (java) S 24606 24609 16091 0 -1 4202496 29606 0 1 0 2866 126 0 0 20 0 22 0 13065783 10060525568 51415 33554432000 1073741824 1073778376 140736897877184 140736897868320 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24609/statm: 2456183 51415 2287 9 0 2446860 0
[pid=24609/tid=24610] ppid=24606 vsize=9824732 CPUtime=0.26 cores=0,2,4,6
/proc/24609/task/24610/stat : 24610 (java) S 24606 24609 16091 0 -1 4202560 2425 0 1 0 24 2 0 0 20 0 22 0 13065784 10060525568 51415 33554432000 1073741824 1073778376 140736897877184 139670003274616 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24609/tid=24612] ppid=24606 vsize=9824732 CPUtime=0.05 cores=0,2,4,6
/proc/24609/task/24612/stat : 24612 (java) S 24606 24609 16091 0 -1 4202560 31 0 0 0 5 0 0 0 20 0 22 0 13065784 10060525568 51415 33554432000 1073741824 1073778376 140736897877184 139669992336296 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24609/tid=24613] ppid=24606 vsize=9824732 CPUtime=0.05 cores=0,2,4,6
/proc/24609/task/24613/stat : 24613 (java) S 24606 24609 16091 0 -1 4202560 25 0 0 0 3 2 0 0 20 0 22 0 13065784 10060525568 51415 33554432000 1073741824 1073778376 140736897877184 139669991283752 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24609/tid=24614] ppid=24606 vsize=9824732 CPUtime=0.04 cores=0,2,4,6
/proc/24609/task/24614/stat : 24614 (java) S 24606 24609 16091 0 -1 4202560 22 0 0 0 4 0 0 0 20 0 22 0 13065784 10060525568 51415 33554432000 1073741824 1073778376 140736897877184 139669990230696 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24609/tid=24615] ppid=24606 vsize=9824732 CPUtime=0.03 cores=0,2,4,6
/proc/24609/task/24615/stat : 24615 (java) S 24606 24609 16091 0 -1 4202560 17 0 0 0 3 0 0 0 20 0 22 0 13065784 10060525568 51415 33554432000 1073741824 1073778376 140736897877184 139669989178152 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24609/tid=24616] ppid=24606 vsize=9824732 CPUtime=0.05 cores=0,2,4,6
/proc/24609/task/24616/stat : 24616 (java) S 24606 24609 16091 0 -1 4202560 22 0 0 0 5 0 0 0 20 0 22 0 13065784 10060525568 51415 33554432000 1073741824 1073778376 140736897877184 139669842639272 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24609/tid=24617] ppid=24606 vsize=9824732 CPUtime=0.03 cores=0,2,4,6
/proc/24609/task/24617/stat : 24617 (java) S 24606 24609 16091 0 -1 4202560 20 0 0 0 3 0 0 0 20 0 22 0 13065784 10060525568 51415 33554432000 1073741824 1073778376 140736897877184 139669841586728 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24609/tid=24618] ppid=24606 vsize=9824732 CPUtime=0.04 cores=0,2,4,6
/proc/24609/task/24618/stat : 24618 (java) S 24606 24609 16091 0 -1 4202560 23 0 0 0 4 0 0 0 20 0 22 0 13065784 10060525568 51415 33554432000 1073741824 1073778376 140736897877184 139669840533672 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24609/tid=24619] ppid=24606 vsize=9824732 CPUtime=0.04 cores=0,2,4,6
/proc/24609/task/24619/stat : 24619 (java) S 24606 24609 16091 0 -1 4202560 15 0 0 0 4 0 0 0 20 0 22 0 13065784 10060525568 51415 33554432000 1073741824 1073778376 140736897877184 139669839481128 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24609/tid=24620] ppid=24606 vsize=9824732 CPUtime=0.05 cores=0,2,4,6
/proc/24609/task/24620/stat : 24620 (java) S 24606 24609 16091 0 -1 4202560 11 0 0 0 0 5 0 0 20 0 22 0 13065785 10060525568 51415 33554432000 1073741824 1073778376 140736897877184 139669827283816 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24609/tid=24621] ppid=24606 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24609/task/24621/stat : 24621 (java) S 24606 24609 16091 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 13065786 10060525568 51415 33554432000 1073741824 1073778376 140736897877184 139669826230136 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24609/tid=24622] ppid=24606 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24609/task/24622/stat : 24622 (java) S 24606 24609 16091 0 -1 4202560 36 0 0 0 0 0 0 0 20 0 22 0 13065786 10060525568 51415 33554432000 1073741824 1073778376 140736897877184 139669825176968 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24609/tid=24623] ppid=24606 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24609/task/24623/stat : 24623 (java) S 24606 24609 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 13065788 10060525568 51415 33554432000 1073741824 1073778376 140736897877184 139669824125712 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24609/tid=24624] ppid=24606 vsize=9824732 CPUtime=0.97 cores=0,2,4,6
/proc/24609/task/24624/stat : 24624 (java) S 24606 24609 16091 0 -1 4202560 6818 0 0 0 95 2 0 0 20 0 22 0 13065788 10060525568 51415 33554432000 1073741824 1073778376 140736897877184 139669823072568 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24609/tid=24625] ppid=24606 vsize=9824732 CPUtime=1.59 cores=0,2,4,6
/proc/24609/task/24625/stat : 24625 (java) S 24606 24609 16091 0 -1 4202560 18100 0 0 0 155 4 0 0 20 0 22 0 13065788 10060525568 51415 33554432000 1073741824 1073778376 140736897877184 139669822020024 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24609/tid=24626] ppid=24606 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24609/task/24626/stat : 24626 (java) S 24606 24609 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 13065788 10060525568 51415 33554432000 1073741824 1073778376 140736897877184 139669820967160 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24609/tid=24627] ppid=24606 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24609/task/24627/stat : 24627 (java) S 24606 24609 16091 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 13065788 10060525568 51415 33554432000 1073741824 1073778376 140736897877184 139669819914824 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24609/tid=24631] ppid=24606 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24609/task/24631/stat : 24631 (java) S 24606 24609 16091 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 13065801 10060525568 51415 33554432000 1073741824 1073778376 140736897877184 139669815702952 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24609/tid=24875] ppid=24606 vsize=9824732 CPUtime=0.71 cores=0,2,4,6
/proc/24609/task/24875/stat : 24875 (java) R 24606 24609 16091 0 -1 4202560 3 0 0 0 71 0 0 0 20 0 22 0 13070510 10060525568 51415 33554432000 1073741824 1073778376 140736897877184 139669818851072 139669870794399 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=24609/tid=24876] ppid=24606 vsize=9824732 CPUtime=0.71 cores=0,2,4,6
/proc/24609/task/24876/stat : 24876 (java) R 24606 24609 16091 0 -1 4202560 3 0 0 0 71 0 0 0 20 0 22 0 13070510 10060525568 51415 33554432000 1073741824 1073778376 140736897877184 139669817806456 139669870818109 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=24609/tid=24877] ppid=24606 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24609/task/24877/stat : 24877 (java) S 24606 24609 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 13070511 10060525568 51415 33554432000 1073741824 1073778376 140736897877184 139669816755880 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 29.92
Current children cumulated vsize (KiB) 9824732

[startup+48.4008 s]
/proc/loadavg: 2.17 1.90 1.96 4/218 24877
/proc/meminfo: memFree=29359228/32872528 swapFree=1254912/1391860
[pid=24609] ppid=24606 vsize=9824732 CPUtime=30.73 cores=0,2,4,6
/proc/24609/stat : 24609 (java) S 24606 24609 16091 0 -1 4202496 29606 0 1 0 2947 126 0 0 20 0 22 0 13065783 10060525568 51415 33554432000 1073741824 1073778376 140736897877184 140736897868320 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24609/statm: 2456183 51415 2287 9 0 2446860 0
[pid=24609/tid=24610] ppid=24606 vsize=9824732 CPUtime=0.26 cores=0,2,4,6
/proc/24609/task/24610/stat : 24610 (java) S 24606 24609 16091 0 -1 4202560 2425 0 1 0 24 2 0 0 20 0 22 0 13065784 10060525568 51415 33554432000 1073741824 1073778376 140736897877184 139670003274616 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24609/tid=24612] ppid=24606 vsize=9824732 CPUtime=0.05 cores=0,2,4,6
/proc/24609/task/24612/stat : 24612 (java) S 24606 24609 16091 0 -1 4202560 31 0 0 0 5 0 0 0 20 0 22 0 13065784 10060525568 51415 33554432000 1073741824 1073778376 140736897877184 139669992336296 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24609/tid=24613] ppid=24606 vsize=9824732 CPUtime=0.05 cores=0,2,4,6
/proc/24609/task/24613/stat : 24613 (java) S 24606 24609 16091 0 -1 4202560 25 0 0 0 3 2 0 0 20 0 22 0 13065784 10060525568 51415 33554432000 1073741824 1073778376 140736897877184 139669991283752 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24609/tid=24614] ppid=24606 vsize=9824732 CPUtime=0.04 cores=0,2,4,6
/proc/24609/task/24614/stat : 24614 (java) S 24606 24609 16091 0 -1 4202560 22 0 0 0 4 0 0 0 20 0 22 0 13065784 10060525568 51415 33554432000 1073741824 1073778376 140736897877184 139669990230696 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24609/tid=24615] ppid=24606 vsize=9824732 CPUtime=0.03 cores=0,2,4,6
/proc/24609/task/24615/stat : 24615 (java) S 24606 24609 16091 0 -1 4202560 17 0 0 0 3 0 0 0 20 0 22 0 13065784 10060525568 51415 33554432000 1073741824 1073778376 140736897877184 139669989178152 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24609/tid=24616] ppid=24606 vsize=9824732 CPUtime=0.05 cores=0,2,4,6
/proc/24609/task/24616/stat : 24616 (java) S 24606 24609 16091 0 -1 4202560 22 0 0 0 5 0 0 0 20 0 22 0 13065784 10060525568 51415 33554432000 1073741824 1073778376 140736897877184 139669842639272 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24609/tid=24617] ppid=24606 vsize=9824732 CPUtime=0.03 cores=0,2,4,6
/proc/24609/task/24617/stat : 24617 (java) S 24606 24609 16091 0 -1 4202560 20 0 0 0 3 0 0 0 20 0 22 0 13065784 10060525568 51415 33554432000 1073741824 1073778376 140736897877184 139669841586728 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24609/tid=24618] ppid=24606 vsize=9824732 CPUtime=0.04 cores=0,2,4,6
/proc/24609/task/24618/stat : 24618 (java) S 24606 24609 16091 0 -1 4202560 23 0 0 0 4 0 0 0 20 0 22 0 13065784 10060525568 51415 33554432000 1073741824 1073778376 140736897877184 139669840533672 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24609/tid=24619] ppid=24606 vsize=9824732 CPUtime=0.04 cores=0,2,4,6
/proc/24609/task/24619/stat : 24619 (java) S 24606 24609 16091 0 -1 4202560 15 0 0 0 4 0 0 0 20 0 22 0 13065784 10060525568 51415 33554432000 1073741824 1073778376 140736897877184 139669839481128 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24609/tid=24620] ppid=24606 vsize=9824732 CPUtime=0.05 cores=0,2,4,6
/proc/24609/task/24620/stat : 24620 (java) S 24606 24609 16091 0 -1 4202560 11 0 0 0 0 5 0 0 20 0 22 0 13065785 10060525568 51415 33554432000 1073741824 1073778376 140736897877184 139669827283816 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24609/tid=24621] ppid=24606 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24609/task/24621/stat : 24621 (java) S 24606 24609 16091 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 13065786 10060525568 51415 33554432000 1073741824 1073778376 140736897877184 139669826230136 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24609/tid=24622] ppid=24606 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24609/task/24622/stat : 24622 (java) S 24606 24609 16091 0 -1 4202560 36 0 0 0 0 0 0 0 20 0 22 0 13065786 10060525568 51415 33554432000 1073741824 1073778376 140736897877184 139669825176968 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24609/tid=24623] ppid=24606 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24609/task/24623/stat : 24623 (java) S 24606 24609 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 13065788 10060525568 51415 33554432000 1073741824 1073778376 140736897877184 139669824125712 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24609/tid=24624] ppid=24606 vsize=9824732 CPUtime=0.97 cores=0,2,4,6
/proc/24609/task/24624/stat : 24624 (java) S 24606 24609 16091 0 -1 4202560 6818 0 0 0 95 2 0 0 20 0 22 0 13065788 10060525568 51415 33554432000 1073741824 1073778376 140736897877184 139669823072568 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24609/tid=24625] ppid=24606 vsize=9824732 CPUtime=1.59 cores=0,2,4,6
/proc/24609/task/24625/stat : 24625 (java) S 24606 24609 16091 0 -1 4202560 18100 0 0 0 155 4 0 0 20 0 22 0 13065788 10060525568 51415 33554432000 1073741824 1073778376 140736897877184 139669822020024 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24609/tid=24626] ppid=24606 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24609/task/24626/stat : 24626 (java) S 24606 24609 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 13065788 10060525568 51415 33554432000 1073741824 1073778376 140736897877184 139669820967160 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24609/tid=24627] ppid=24606 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24609/task/24627/stat : 24627 (java) S 24606 24609 16091 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 13065788 10060525568 51415 33554432000 1073741824 1073778376 140736897877184 139669819914824 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24609/tid=24631] ppid=24606 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24609/task/24631/stat : 24631 (java) S 24606 24609 16091 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 13065801 10060525568 51415 33554432000 1073741824 1073778376 140736897877184 139669815702952 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24609/tid=24875] ppid=24606 vsize=9824732 CPUtime=1.12 cores=0,2,4,6
/proc/24609/task/24875/stat : 24875 (java) R 24606 24609 16091 0 -1 4202560 3 0 0 0 112 0 0 0 20 0 22 0 13070510 10060525568 51415 33554432000 1073741824 1073778376 140736897877184 139669818851072 139669870748378 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=24609/tid=24876] ppid=24606 vsize=9824732 CPUtime=1.12 cores=0,2,4,6
/proc/24609/task/24876/stat : 24876 (java) R 24606 24609 16091 0 -1 4202560 3 0 0 0 112 0 0 0 20 0 22 0 13070510 10060525568 51415 33554432000 1073741824 1073778376 140736897877184 139669817806456 139669871059940 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=24609/tid=24877] ppid=24606 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24609/task/24877/stat : 24877 (java) S 24606 24609 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 13070511 10060525568 51415 33554432000 1073741824 1073778376 140736897877184 139669816755880 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 30.73
Current children cumulated vsize (KiB) 9824732

[startup+48.8007 s]
/proc/loadavg: 2.17 1.90 1.96 4/218 24877
/proc/meminfo: memFree=29359228/32872528 swapFree=1254912/1391860
[pid=24609] ppid=24606 vsize=9824732 CPUtime=31.32 cores=0,2,4,6
/proc/24609/stat : 24609 (java) S 24606 24609 16091 0 -1 4202496 29606 0 1 0 3005 127 0 0 20 0 20 0 13065783 10060525568 51410 33554432000 1073741824 1073778376 140736897877184 140736897868320 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24609/statm: 2456183 51410 2287 9 0 2446860 0
[pid=24609/tid=24610] ppid=24606 vsize=9824732 CPUtime=0.26 cores=0,2,4,6
/proc/24609/task/24610/stat : 24610 (java) S 24606 24609 16091 0 -1 4202560 2425 0 1 0 24 2 0 0 20 0 20 0 13065784 10060525568 51410 33554432000 1073741824 1073778376 140736897877184 139670003274616 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24609/tid=24612] ppid=24606 vsize=9824732 CPUtime=0.05 cores=0,2,4,6
/proc/24609/task/24612/stat : 24612 (java) S 24606 24609 16091 0 -1 4202560 31 0 0 0 5 0 0 0 20 0 20 0 13065784 10060525568 51410 33554432000 1073741824 1073778376 140736897877184 139669992336296 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24609/tid=24613] ppid=24606 vsize=9824732 CPUtime=0.05 cores=0,2,4,6
/proc/24609/task/24613/stat : 24613 (java) S 24606 24609 16091 0 -1 4202560 25 0 0 0 3 2 0 0 20 0 20 0 13065784 10060525568 51410 33554432000 1073741824 1073778376 140736897877184 139669991283752 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24609/tid=24614] ppid=24606 vsize=9824732 CPUtime=0.04 cores=0,2,4,6
/proc/24609/task/24614/stat : 24614 (java) S 24606 24609 16091 0 -1 4202560 22 0 0 0 4 0 0 0 20 0 20 0 13065784 10060525568 51410 33554432000 1073741824 1073778376 140736897877184 139669990230696 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24609/tid=24615] ppid=24606 vsize=9824732 CPUtime=0.03 cores=0,2,4,6
/proc/24609/task/24615/stat : 24615 (java) S 24606 24609 16091 0 -1 4202560 17 0 0 0 3 0 0 0 20 0 20 0 13065784 10060525568 51410 33554432000 1073741824 1073778376 140736897877184 139669989178152 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24609/tid=24616] ppid=24606 vsize=9824732 CPUtime=0.05 cores=0,2,4,6
/proc/24609/task/24616/stat : 24616 (java) S 24606 24609 16091 0 -1 4202560 22 0 0 0 5 0 0 0 20 0 20 0 13065784 10060525568 51410 33554432000 1073741824 1073778376 140736897877184 139669842639272 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24609/tid=24617] ppid=24606 vsize=9824732 CPUtime=0.03 cores=0,2,4,6
/proc/24609/task/24617/stat : 24617 (java) S 24606 24609 16091 0 -1 4202560 20 0 0 0 3 0 0 0 20 0 20 0 13065784 10060525568 51410 33554432000 1073741824 1073778376 140736897877184 139669841586728 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24609/tid=24618] ppid=24606 vsize=9824732 CPUtime=0.04 cores=0,2,4,6
/proc/24609/task/24618/stat : 24618 (java) S 24606 24609 16091 0 -1 4202560 23 0 0 0 4 0 0 0 20 0 20 0 13065784 10060525568 51410 33554432000 1073741824 1073778376 140736897877184 139669840533672 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24609/tid=24619] ppid=24606 vsize=9824732 CPUtime=0.04 cores=0,2,4,6
/proc/24609/task/24619/stat : 24619 (java) S 24606 24609 16091 0 -1 4202560 15 0 0 0 4 0 0 0 20 0 20 0 13065784 10060525568 51410 33554432000 1073741824 1073778376 140736897877184 139669839481128 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24609/tid=24620] ppid=24606 vsize=9824732 CPUtime=0.05 cores=0,2,4,6
/proc/24609/task/24620/stat : 24620 (java) S 24606 24609 16091 0 -1 4202560 11 0 0 0 0 5 0 0 20 0 20 0 13065785 10060525568 51410 33554432000 1073741824 1073778376 140736897877184 139669827283816 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24609/tid=24621] ppid=24606 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24609/task/24621/stat : 24621 (java) S 24606 24609 16091 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 20 0 13065786 10060525568 51410 33554432000 1073741824 1073778376 140736897877184 139669826230136 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24609/tid=24622] ppid=24606 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24609/task/24622/stat : 24622 (java) S 24606 24609 16091 0 -1 4202560 36 0 0 0 0 0 0 0 20 0 20 0 13065786 10060525568 51410 33554432000 1073741824 1073778376 140736897877184 139669825176968 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24609/tid=24623] ppid=24606 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24609/task/24623/stat : 24623 (java) S 24606 24609 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 13065788 10060525568 51410 33554432000 1073741824 1073778376 140736897877184 139669824125712 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24609/tid=24624] ppid=24606 vsize=9824732 CPUtime=0.97 cores=0,2,4,6
/proc/24609/task/24624/stat : 24624 (java) S 24606 24609 16091 0 -1 4202560 6818 0 0 0 95 2 0 0 20 0 20 0 13065788 10060525568 51410 33554432000 1073741824 1073778376 140736897877184 139669823072568 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24609/tid=24625] ppid=24606 vsize=9824732 CPUtime=1.59 cores=0,2,4,6
/proc/24609/task/24625/stat : 24625 (java) S 24606 24609 16091 0 -1 4202560 18100 0 0 0 155 4 0 0 20 0 20 0 13065788 10060525568 51410 33554432000 1073741824 1073778376 140736897877184 139669822020024 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24609/tid=24626] ppid=24606 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24609/task/24626/stat : 24626 (java) S 24606 24609 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 13065788 10060525568 51410 33554432000 1073741824 1073778376 140736897877184 139669820967160 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24609/tid=24627] ppid=24606 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24609/task/24627/stat : 24627 (java) S 24606 24609 16091 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 20 0 13065788 10060525568 51410 33554432000 1073741824 1073778376 140736897877184 139669819914824 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24609/tid=24631] ppid=24606 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24609/task/24631/stat : 24631 (java) S 24606 24609 16091 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 13065801 10060525568 51410 33554432000 1073741824 1073778376 140736897877184 139669815702952 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24609/tid=24876] ppid=24606 vsize=9824732 CPUtime=1.51 cores=0,2,4,6
/proc/24609/task/24876/stat : 24876 (java) R 24606 24609 16091 0 -1 4202560 3 0 0 0 151 0 0 0 20 0 20 0 13070510 10060525568 51410 33554432000 1073741824 1073778376 140736897877184 139669817806456 139669870818064 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 31.32
Current children cumulated vsize (KiB) 9824732

Child status: 30

# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
#  lost CPU time (s): 0.00999975
#  lost CPU user time (s): 0.00999999
#  lost CPU system time (s): 0

Real time (s): 48.8506
CPU time (s): 31.5092
CPU user time (s): 30.1164
CPU system time (s): 1.39279
CPU usage (%): 64.5012
Max. virtual memory (cumulated for all children) (KiB): 9826636

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 30.1064
system time used= 1.39279
maximum resident set size= 215456
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 29613
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= 3584
involuntary context switches= 1289

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.179972 second user time and 0.226965 second system time

The end

Launcher Data 

Begin job on node119 at 2016-06-30 23:10:50
IDJOB=4109353
IDBENCH=78787
IDSOLVER=2552
FILE ID=node119/4109353-1467321049
RUNJOBID= node119-1467318689-18276
PBS_JOBID= 20005280
Free space on /tmp= 71732 MiB

SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111212923--soft-33-100-0.wbo
COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4109353-1467321049/watcher-4109353-1467321049 -o /tmp/evaluation-result-4109353-1467321049/solver-4109353-1467321049 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node119-1467318689-18276 --watchdog 1960  java -jar sat4j-pb.jar Both HOME/instance-4109353-1467321049.wbo

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

MD5SUM BENCH= f4aa595d615e9582cb764bb4e9fc2d88
RANDOM SEED=1584508230

node119.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.444
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.88
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.444
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.444
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.56
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.444
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.444
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.444
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.444
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.444
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:        29530588 kB
Buffers:          173880 kB
Cached:           262076 kB
SwapCached:            0 kB
Active:           985244 kB
Inactive:         217912 kB
Active(anon):     751732 kB
Inactive(anon):    17912 kB
Active(file):     233512 kB
Inactive(file):   200000 kB
Unevictable:     1391860 kB
Mlocked:         1254912 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:               480 kB
Writeback:            24 kB
AnonPages:       2158940 kB
Mapped:            22112 kB
Shmem:               204 kB
Slab:             611676 kB
SReclaimable:      55332 kB
SUnreclaim:       556344 kB
KernelStack:        1648 kB
PageTables:         8948 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2293348 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    878592 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= 71732 MiB
End job on node119 at 2016-06-30 23:11:38