Trace number 4092305

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 45.4661 58.2554

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111213670--soft-0-100-0.wbo
MD5SUMfcf24b85e5d55a97f5b0cb315ea68e2b
Bench CategorySOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark10
Best CPU time to get the best result obtained on this benchmark17.5833
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables169
Total number of constraints101
Number of soft constraints101
Number of constraints which are clauses30
Number of constraints which are cardinality constraints (but not clauses)70
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint169
Top cost 5034
Min constraint cost 1
Max constraint cost 98
Sum of constraints costs 5033
Biggest number in a constraint 38
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 1239
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.09/0.12	c Pseudo Boolean Optimization by upper bound
0.09/0.12	c ManyCore solver with 2 solvers running in parallel
0.09/0.12	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.09/0.12	c --- Begin Solver configuration ---
0.09/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@5d764be1
0.09/0.12	c Learn all clauses as in MiniSAT
0.09/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.12	c Expensive reason simplification
0.09/0.12	c Glucose 2.1 dynamic restart strategy
0.09/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.09/0.12	c timeout=2147483s
0.09/0.12	c DB Simplification allowed=false
0.09/0.12	c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5
0.09/0.12	c --- End Solver configuration ---
0.09/0.12	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.09/0.12	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.09/0.12	c --- Begin Solver configuration ---
0.09/0.12	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@4413ee
0.09/0.12	c Learn all clauses as in MiniSAT
0.09/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.12	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.09/0.12	c No reason simplification
0.09/0.12	c Armin Biere (Picosat) restarts strategy
0.09/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.09/0.12	c timeout=2147483s
0.09/0.12	c DB Simplification allowed=false
0.09/0.12	c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5
0.09/0.12	c --- End Solver configuration ---
0.09/0.12	c solving HOME/instance-4092305-1467321977.wbo
0.09/0.12	c reading problem ... 
0.09/0.18	c ... done. Wall clock time 0.066s.
0.09/0.18	c declared #vars     169
0.09/0.18	c internal #vars     270
0.09/0.18	c #constraints  101
0.09/0.19	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.09/0.19	c constraints type 
0.09/0.19	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 30
0.09/0.19	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 71
0.09/0.19	c 101 constraints processed.
0.09/0.19	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.09/0.19	c constraints type 
0.09/0.19	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 30
0.09/0.19	c org.sat4j.pb.constraints.pb.MaxWatchPb => 71
0.09/0.19	c 101 constraints processed.
0.09/0.19	c objective function length is 101 literals
1.42/0.51	c And the winner is solver0
1.66/0.69	c SATISFIABLE
1.66/0.69	c OPTIMIZING...
1.66/0.69	c Got one! Elapsed wall clock time (in seconds):0.571
1.66/0.69	o 696
1.79/0.70	c And the winner is solver0
1.79/1.19	c Got one! Elapsed wall clock time (in seconds):1.072
1.79/1.19	o 684
1.79/1.19	c And the winner is solver0
1.79/1.69	c Got one! Elapsed wall clock time (in seconds):1.574
1.79/1.69	o 663
1.79/1.70	c And the winner is solver0
1.82/2.19	c Got one! Elapsed wall clock time (in seconds):2.075
1.82/2.19	o 637
1.82/2.20	c And the winner is solver0
1.84/2.69	c Got one! Elapsed wall clock time (in seconds):2.576
1.84/2.69	o 636
1.85/2.70	c And the winner is solver0
1.85/3.20	c Got one! Elapsed wall clock time (in seconds):3.078
1.85/3.20	o 570
1.85/3.20	c And the winner is solver0
1.94/3.70	c Got one! Elapsed wall clock time (in seconds):3.579
1.94/3.70	o 539
1.94/3.71	c And the winner is solver0
2.00/4.20	c Got one! Elapsed wall clock time (in seconds):4.08
2.00/4.20	o 536
2.00/4.21	c And the winner is solver0
2.03/4.70	c Got one! Elapsed wall clock time (in seconds):4.582
2.03/4.70	o 534
2.03/4.71	c And the winner is solver0
2.07/5.20	c Got one! Elapsed wall clock time (in seconds):5.083
2.07/5.20	o 533
2.07/5.21	c And the winner is solver0
2.07/5.70	c Got one! Elapsed wall clock time (in seconds):5.584
2.07/5.70	o 528
2.07/5.71	c And the winner is solver0
2.08/6.20	c Got one! Elapsed wall clock time (in seconds):6.085
2.08/6.20	o 525
2.08/6.23	c And the winner is solver0
2.14/6.70	c Got one! Elapsed wall clock time (in seconds):6.587
2.14/6.70	o 524
2.14/6.71	c And the winner is solver0
2.17/7.21	c Got one! Elapsed wall clock time (in seconds):7.088
2.17/7.21	o 522
2.17/7.21	c And the winner is solver0
2.20/7.71	c Got one! Elapsed wall clock time (in seconds):7.589
2.20/7.71	o 518
2.20/7.71	c And the winner is solver0
2.20/8.21	c Got one! Elapsed wall clock time (in seconds):8.09
2.20/8.21	o 505
2.20/8.21	c And the winner is solver0
2.21/8.71	c Got one! Elapsed wall clock time (in seconds):8.591
2.21/8.71	o 472
2.21/8.72	c And the winner is solver0
2.21/9.21	c Got one! Elapsed wall clock time (in seconds):9.093
2.21/9.21	o 463
2.21/9.23	c And the winner is solver0
2.32/9.71	c Got one! Elapsed wall clock time (in seconds):9.594
2.32/9.71	o 462
2.32/9.72	c And the winner is solver0
2.33/10.21	c Got one! Elapsed wall clock time (in seconds):10.095
2.33/10.21	o 412
2.33/10.26	c And the winner is solver0
2.44/10.71	c Got one! Elapsed wall clock time (in seconds):10.596
2.44/10.71	o 407
2.44/10.77	c And the winner is solver0
2.77/11.22	c Got one! Elapsed wall clock time (in seconds):11.098
2.77/11.22	o 402
2.77/11.23	c And the winner is solver0
2.83/11.72	c Got one! Elapsed wall clock time (in seconds):11.599
2.83/11.72	o 398
2.83/11.74	c And the winner is solver0
2.88/12.22	c Got one! Elapsed wall clock time (in seconds):12.1
2.88/12.22	o 391
2.88/12.25	c And the winner is solver0
2.98/12.72	c Got one! Elapsed wall clock time (in seconds):12.601
2.98/12.72	o 390
2.98/12.73	c And the winner is solver0
3.03/13.22	c Got one! Elapsed wall clock time (in seconds):13.102
3.03/13.22	o 387
3.03/13.26	c And the winner is solver0
3.12/13.72	c Got one! Elapsed wall clock time (in seconds):13.603
3.12/13.72	o 379
3.12/13.77	c And the winner is solver0
3.24/14.22	c Got one! Elapsed wall clock time (in seconds):14.104
3.24/14.22	o 378
3.44/14.32	c cleaning 5804 clauses out of 11608 with flag 3138/11608
3.44/14.37	c And the winner is solver0
3.57/14.72	c Got one! Elapsed wall clock time (in seconds):14.605
3.57/14.72	o 371
3.57/14.73	c And the winner is solver0
3.67/15.22	c Got one! Elapsed wall clock time (in seconds):15.107
3.67/15.22	o 343
3.67/15.23	c And the winner is solver0
3.71/15.73	c Got one! Elapsed wall clock time (in seconds):15.608
3.71/15.73	o 340
3.71/15.73	c And the winner is solver0
3.71/16.23	c Got one! Elapsed wall clock time (in seconds):16.109
3.71/16.23	o 315
3.71/16.24	c And the winner is solver0
3.75/16.73	c Got one! Elapsed wall clock time (in seconds):16.61
3.75/16.73	o 311
3.75/16.74	c And the winner is solver0
3.79/17.23	c Got one! Elapsed wall clock time (in seconds):17.111
3.79/17.23	o 308
3.79/17.23	c And the winner is solver0
3.79/17.73	c Got one! Elapsed wall clock time (in seconds):17.612
3.79/17.73	o 305
3.79/17.74	c And the winner is solver0
3.80/18.23	c Got one! Elapsed wall clock time (in seconds):18.113
3.80/18.23	o 302
3.80/18.24	c And the winner is solver0
3.84/18.73	c Got one! Elapsed wall clock time (in seconds):18.616
3.84/18.73	o 297
3.98/18.86	c And the winner is solver0
4.17/19.23	c Got one! Elapsed wall clock time (in seconds):19.117
4.17/19.23	o 276
4.17/19.29	c And the winner is solver0
4.29/19.74	c Got one! Elapsed wall clock time (in seconds):19.618
4.29/19.74	o 273
4.29/19.76	c And the winner is solver0
4.40/20.24	c Got one! Elapsed wall clock time (in seconds):20.119
4.40/20.24	o 261
4.54/20.31	c cleaning 6663 clauses out of 13329 with flag 3896/19133
4.54/20.32	c And the winner is solver0
4.69/20.74	c Got one! Elapsed wall clock time (in seconds):20.62
4.69/20.74	o 259
4.80/20.81	c And the winner is solver0
4.92/21.24	c Got one! Elapsed wall clock time (in seconds):21.121
4.92/21.24	o 258
5.04/21.32	c And the winner is solver0
5.18/21.74	c Got one! Elapsed wall clock time (in seconds):21.622
5.18/21.74	o 257
5.29/21.81	c And the winner is solver0
5.43/22.24	c Got one! Elapsed wall clock time (in seconds):22.123
5.43/22.24	o 244
5.43/22.27	c And the winner is solver0
5.52/22.74	c Got one! Elapsed wall clock time (in seconds):22.624
5.52/22.74	o 233
5.63/22.85	c cleaning 7251 clauses out of 14502 with flag 8318/26969
6.05/23.00	c And the winner is solver0
6.08/23.24	c Got one! Elapsed wall clock time (in seconds):23.125
6.08/23.24	o 229
6.08/23.25	c And the winner is solver0
6.16/23.74	c Got one! Elapsed wall clock time (in seconds):23.626
6.16/23.74	o 226
6.26/23.84	c cleaning 6374 clauses out of 12765 with flag 8029/32483
6.26/23.88	c And the winner is solver0
6.46/24.24	c Got one! Elapsed wall clock time (in seconds):24.126
6.46/24.24	o 225
6.58/24.32	c And the winner is solver0
6.70/24.75	c Got one! Elapsed wall clock time (in seconds):24.627
6.70/24.75	o 224
6.82/24.85	c And the winner is solver0
7.01/25.25	c Got one! Elapsed wall clock time (in seconds):25.128
7.01/25.25	o 198
7.12/25.30	c And the winner is solver0
7.23/25.75	c Got one! Elapsed wall clock time (in seconds):25.629
7.23/25.75	o 196
7.33/25.82	c And the winner is solver0
7.48/26.25	c Got one! Elapsed wall clock time (in seconds):26.13
7.48/26.25	o 192
7.48/26.29	c And the winner is solver0
7.58/26.75	c Got one! Elapsed wall clock time (in seconds):26.631
7.58/26.75	o 190
7.58/26.79	c And the winner is solver0
7.69/27.25	c Got one! Elapsed wall clock time (in seconds):27.132
7.69/27.25	o 169
7.69/27.27	c And the winner is solver0
7.78/27.75	c Got one! Elapsed wall clock time (in seconds):27.633
7.78/27.75	o 168
7.87/27.82	c cleaning 8361 clauses out of 16728 with flag 4069/42820
7.87/27.82	c And the winner is solver0
8.03/28.25	c Got one! Elapsed wall clock time (in seconds):28.134
8.03/28.25	o 167
8.03/28.27	c And the winner is solver0
8.11/28.75	c Got one! Elapsed wall clock time (in seconds):28.635
8.11/28.75	o 166
8.11/28.77	c And the winner is solver0
8.19/29.25	c Got one! Elapsed wall clock time (in seconds):29.136
8.19/29.25	o 164
8.48/29.40	c And the winner is solver0
8.51/29.75	c Got one! Elapsed wall clock time (in seconds):29.637
8.51/29.75	o 147
8.51/29.77	c And the winner is solver0
8.63/30.26	c Got one! Elapsed wall clock time (in seconds):30.138
8.63/30.26	o 144
8.63/30.28	c And the winner is solver0
8.74/30.76	c Got one! Elapsed wall clock time (in seconds):30.639
8.74/30.76	o 132
8.74/30.78	c And the winner is solver0
8.82/31.26	c Got one! Elapsed wall clock time (in seconds):31.14
8.82/31.26	o 131
8.82/31.27	c And the winner is solver0
8.91/31.76	c Got one! Elapsed wall clock time (in seconds):31.641
8.91/31.76	o 130
8.91/31.79	c And the winner is solver0
9.03/32.26	c Got one! Elapsed wall clock time (in seconds):32.142
9.03/32.26	o 116
9.10/32.35	c And the winner is solver0
9.29/32.76	c Got one! Elapsed wall clock time (in seconds):32.643
9.29/32.76	o 107
9.37/32.86	c cleaning 8238 clauses out of 16481 with flag 3710/50934
9.67/32.92	c And the winner is solver0
10.12/33.26	c Got one! Elapsed wall clock time (in seconds):33.144
10.12/33.26	o 94
10.12/33.28	c And the winner is solver0
10.26/33.76	c Got one! Elapsed wall clock time (in seconds):33.645
10.26/33.76	o 93
10.52/33.90	c And the winner is solver0
10.56/34.26	c Got one! Elapsed wall clock time (in seconds):34.146
10.56/34.26	o 84
10.62/34.38	c cleaning 7347 clauses out of 14694 with flag 7901/57385
10.85/34.44	c And the winner is solver0
11.03/34.77	c Got one! Elapsed wall clock time (in seconds):34.647
11.03/34.77	o 82
11.29/34.98	c cleaning 6467 clauses out of 12941 with flag 15575/62979
11.50/35.01	c And the winner is solver0
11.55/35.27	c Got one! Elapsed wall clock time (in seconds):35.149
11.55/35.27	o 81
11.63/35.36	c And the winner is solver0
11.80/35.77	c Got one! Elapsed wall clock time (in seconds):35.65
11.80/35.77	o 65
12.06/35.92	c cleaning 6066 clauses out of 12146 with flag 11656/68651
12.46/36.18	c cleaning 6033 clauses out of 12079 with flag 36323/74650
12.46/36.19	c And the winner is solver0
12.65/36.27	c Got one! Elapsed wall clock time (in seconds):36.151
12.65/36.27	o 63
12.99/36.49	c cleaning 5576 clauses out of 11155 with flag 18649/79759
13.18/36.59	c And the winner is solver0
13.38/36.77	c Got one! Elapsed wall clock time (in seconds):36.653
13.38/36.77	o 60
13.43/36.88	c And the winner is solver0
13.65/37.27	c Got one! Elapsed wall clock time (in seconds):37.155
13.65/37.27	o 59
13.65/37.29	c And the winner is solver0
13.75/37.78	c Got one! Elapsed wall clock time (in seconds):37.657
13.75/37.78	o 50
13.79/37.83	c cleaning 5974 clauses out of 11955 with flag 3316/86135
13.79/37.85	c And the winner is solver0
13.99/38.28	c Got one! Elapsed wall clock time (in seconds):38.16
13.99/38.28	o 49
14.23/38.48	c cleaning 5848 clauses out of 11706 with flag 18026/91860
14.83/38.73	c cleaning 5927 clauses out of 11859 with flag 40612/97861
15.44/39.03	c cleaning 6465 clauses out of 12931 with flag 66511/104860
16.04/39.39	c cleaning 7233 clauses out of 14467 with flag 99662/112861
17.04/39.80	c cleaning 8109 clauses out of 16233 with flag 135552/121860
17.84/40.29	c cleaning 9058 clauses out of 18126 with flag 175841/131862
19.06/40.86	c cleaning 10033 clauses out of 20070 with flag 220513/142864
20.04/41.38	c And the winner is solver0
21.14/42.38	c Got one! Elapsed wall clock time (in seconds):42.263
21.14/42.38	o 37
21.64/42.67	c cleaning 12502 clauses out of 25014 with flag 17141/157841
22.25/42.95	c cleaning 9250 clauses out of 18515 with flag 38356/163844
22.84/43.26	c cleaning 8131 clauses out of 16264 with flag 63796/170843
23.66/43.62	c cleaning 8059 clauses out of 16131 with flag 91332/178841
24.46/44.02	c And the winner is solver0
24.59/44.39	c Got one! Elapsed wall clock time (in seconds):44.267
24.59/44.39	o 36
25.02/44.69	c cleaning 11015 clauses out of 22042 with flag 20295/192811
25.62/44.99	c cleaning 8511 clauses out of 17026 with flag 44861/198810
26.44/45.32	c cleaning 7753 clauses out of 15514 with flag 73718/205809
26.64/45.44	c And the winner is solver0
27.09/45.89	c Got one! Elapsed wall clock time (in seconds):45.773
27.09/45.89	o 35
27.15/45.99	c cleaning 6406 clauses out of 12831 with flag 7611/210879
27.76/46.24	c cleaning 6207 clauses out of 12427 with flag 30907/216881
27.76/46.26	c And the winner is solver0
27.93/46.40	c Got one! Elapsed wall clock time (in seconds):46.279
27.93/46.40	o 32
28.32/46.61	c cleaning 5875 clauses out of 11753 with flag 18208/222414
28.72/46.85	c cleaning 5938 clauses out of 11878 with flag 41577/228414
29.32/47.17	c cleaning 6468 clauses out of 12940 with flag 72339/235414
30.12/47.53	c cleaning 7230 clauses out of 14472 with flag 109353/243414
30.93/47.99	c cleaning 8119 clauses out of 16242 with flag 147781/252414
31.33/48.12	c And the winner is solver0
31.46/48.41	c Got one! Elapsed wall clock time (in seconds):48.287
31.46/48.41	o 27
31.46/48.46	c And the winner is solver0
31.59/48.91	c Got one! Elapsed wall clock time (in seconds):48.795
31.59/48.91	o 26
31.59/48.98	c cleaning 6729 clauses out of 13479 with flag 4445/257770
31.75/49.00	c And the winner is solver0
31.79/49.43	c Got one! Elapsed wall clock time (in seconds):49.31
31.79/49.43	o 19
32.14/49.63	c cleaning 6236 clauses out of 12481 with flag 23516/263501
32.52/49.87	c cleaning 6109 clauses out of 12245 with flag 51760/269501
33.12/50.16	c cleaning 6564 clauses out of 13138 with flag 81384/276503
33.32/50.23	c And the winner is solver0
33.67/50.54	c Got one! Elapsed wall clock time (in seconds):50.42
33.67/50.54	o 18
34.00/50.72	c cleaning 6243 clauses out of 12495 with flag 18626/282424
34.39/50.97	c cleaning 6123 clauses out of 12250 with flag 46614/288422
34.78/51.20	c And the winner is solver0
35.00/51.55	c Got one! Elapsed wall clock time (in seconds):51.43
35.00/51.55	o 16
35.50/51.82	c cleaning 8251 clauses out of 16504 with flag 24333/298799
35.89/52.09	c cleaning 7122 clauses out of 14253 with flag 51749/304799
36.49/52.39	c cleaning 7060 clauses out of 14130 with flag 81309/311798
37.29/52.75	c cleaning 7531 clauses out of 15070 with flag 117439/319798
38.09/53.16	c cleaning 8264 clauses out of 16539 with flag 157207/328798
38.69/53.42	c And the winner is solver0
38.75/53.56	c Got one! Elapsed wall clock time (in seconds):53.441
38.75/53.56	o 15
39.21/53.84	c cleaning 9559 clauses out of 19126 with flag 25343/339649
39.63/54.02	c And the winner is solver0
39.75/54.12	c Got one! Elapsed wall clock time (in seconds):54.002
39.75/54.12	o 14
39.75/54.19	c cleaning 7509 clauses out of 15030 with flag 4479/345112
40.32/54.45	c cleaning 6756 clauses out of 13520 with flag 32421/351111
40.92/54.74	c cleaning 6871 clauses out of 13766 with flag 66890/358113
41.53/55.10	c cleaning 7446 clauses out of 14893 with flag 105919/366111
41.92/55.21	c And the winner is solver0
42.10/55.63	c Got one! Elapsed wall clock time (in seconds):55.514
42.10/55.63	o 13
42.10/55.67	c And the winner is solver0
42.18/56.14	c Got one! Elapsed wall clock time (in seconds):56.025
42.18/56.14	o 11
42.30/56.29	c cleaning 6990 clauses out of 13993 with flag 15285/372657
42.49/56.31	c And the winner is solver0
42.92/56.71	c Got one! Elapsed wall clock time (in seconds):56.588
42.92/56.71	o 10
43.29/56.94	c cleaning 6230 clauses out of 12475 with flag 25093/378130
43.69/57.19	c cleaning 6117 clauses out of 12242 with flag 54931/384129
44.29/57.49	c cleaning 6563 clauses out of 13128 with flag 91998/391133
45.11/57.84	c cleaning 7275 clauses out of 14553 with flag 133805/399129
45.11/57.88	c And the winner is solver0
45.35/58.25	c >>>>>>>>>> Solver number 0 (91 answers) <<<<<<<<<<<<<<<<<<
45.35/58.25	c starts		: 227
45.35/58.25	c conflicts		: 400184
45.35/58.25	c decisions		: 694237
45.35/58.25	c propagations		: 11248998
45.35/58.25	c inspects		: 191424682
45.35/58.25	c shortcuts		: 0
45.35/58.25	c learnt literals	: 22
45.35/58.25	c learnt binary clauses	: 61
45.35/58.25	c learnt ternary clauses	: 1051
45.35/58.25	c learnt constraints	: 400161
45.35/58.25	c ignored constraints	: 0
45.35/58.25	c root simplifications	: 0
45.35/58.25	c removed literals (reason simplification)	: 406602
45.35/58.25	c reason swapping (by a shorter reason)	: 0
45.35/58.25	c Calls to reduceDB	: 54
45.35/58.25	c Number of update (reduction) of LBD	: 109866
45.35/58.25	c Imported unit clauses	: 0
45.35/58.25	c number of reductions to clauses (during analyze)	: 0
45.35/58.25	c number of learned constraints concerned by reduction	: 0
45.35/58.25	c number of learning phase by resolution	: 0
45.35/58.25	c number of learning phase by cutting planes	: 0
45.35/58.25	c speed (assignments/second)	: 193764.49918181036
45.35/58.25	c non guided choices	4249
45.35/58.25	c learnt constraints type 
45.35/58.25	c >>>>>>>>>> Solver number 1 (0 answers) <<<<<<<<<<<<<<<<<<
45.35/58.25	c starts		: 91
45.35/58.25	c conflicts		: 483
45.35/58.25	c decisions		: 10747
45.35/58.25	c propagations		: 34910
45.35/58.25	c inspects		: 1433379
45.35/58.25	c shortcuts		: 0
45.35/58.25	c learnt literals	: 0
45.35/58.25	c learnt binary clauses	: 0
45.35/58.25	c learnt ternary clauses	: 0
45.35/58.25	c learnt constraints	: 408
45.35/58.25	c ignored constraints	: 0
45.35/58.25	c root simplifications	: 0
45.35/58.25	c removed literals (reason simplification)	: 0
45.35/58.25	c reason swapping (by a shorter reason)	: 0
45.35/58.25	c Calls to reduceDB	: 0
45.35/58.25	c Number of update (reduction) of LBD	: 0
45.35/58.25	c Imported unit clauses	: 0
45.35/58.25	c number of reductions to clauses (during analyze)	: 0
45.35/58.25	c number of learned constraints concerned by reduction	: 0
45.35/58.25	c number of learning phase by resolution	: 0
45.35/58.25	c number of learning phase by cutting planes	: 0
45.35/58.25	c speed (assignments/second)	: 23226.879574184964
45.35/58.25	c non guided choices	958
45.35/58.25	c learnt constraints type 
45.35/58.25	s OPTIMUM FOUND
45.35/58.25	c Found 90 solution(s)
45.35/58.25	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 
45.35/58.25	c objective function=10
45.35/58.25	c Total wall clock time (in seconds): 58.13

Verifier Data 

OK	10

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-4092305-1467321977/watcher-4092305-1467321977 -o /tmp/evaluation-result-4092305-1467321977/solver-4092305-1467321977 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node136-1467318739-25000 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4092305-1467321977.wbo 

pid=725
running on 4 cores: 1,3,5,7

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: 0.70 0.90 1.10 2/169 729
/proc/meminfo: memFree=28996060/32872528 swapFree=1459604/1655828
[pid=729] ppid=725 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/729/stat : 729 (java) D 725 729 22681 0 -1 4202496 319 0 0 0 0 0 0 0 20 0 1 0 13148885 9515008 176 33554432000 1073741824 1073778376 140736570257168 140736570239896 239873115024 0 0 4096 0 18446744072100588836 0 0 17 3 0 0 0 0 0
/proc/729/statm: 2323 176 133 9 0 71 0

[startup+0.10006 s]
/proc/loadavg: 0.70 0.90 1.10 2/169 729
/proc/meminfo: memFree=28996060/32872528 swapFree=1459604/1655828
[pid=729] ppid=725 vsize=9558476 CPUtime=0.09 cores=1,3,5,7
/proc/729/stat : 729 (java) S 725 729 22681 0 -1 4202496 4433 0 1 0 8 1 0 0 20 0 18 0 13148885 9787879424 6053 33554432000 1073741824 1073778376 140735270262784 140735270253920 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/729/statm: 2389619 6053 2126 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476

[startup+0.200233 s]
/proc/loadavg: 0.70 0.90 1.10 2/169 729
/proc/meminfo: memFree=28996060/32872528 swapFree=1459604/1655828
[pid=729] ppid=725 vsize=9824732 CPUtime=0.23 cores=1,3,5,7
/proc/729/stat : 729 (java) S 725 729 22681 0 -1 4202496 4831 0 1 0 22 1 0 0 20 0 22 0 13148885 10060525568 7907 33554432000 1073741824 1073778376 140735270262784 140735270253920 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/729/statm: 2456183 7907 2221 9 0 2446860 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 9824732

[startup+0.300232 s]
/proc/loadavg: 0.70 0.90 1.10 2/169 729
/proc/meminfo: memFree=28996060/32872528 swapFree=1459604/1655828
[pid=729] ppid=725 vsize=9824732 CPUtime=0.62 cores=1,3,5,7
/proc/729/stat : 729 (java) S 725 729 22681 0 -1 4202496 7893 0 1 0 60 2 0 0 20 0 22 0 13148885 10060525568 10001 33554432000 1073741824 1073778376 140735270262784 140735270253920 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/729/statm: 2456183 10001 2246 9 0 2446860 0
Current children cumulated CPU time (s) 0.62
Current children cumulated vsize (KiB) 9824732

[startup+0.700201 s]
/proc/loadavg: 0.70 0.90 1.10 2/169 729
/proc/meminfo: memFree=28996060/32872528 swapFree=1459604/1655828
[pid=729] ppid=725 vsize=9824732 CPUtime=1.79 cores=1,3,5,7
/proc/729/stat : 729 (java) S 725 729 22681 0 -1 4202496 17726 0 1 0 173 6 0 0 20 0 22 0 13148885 10060525568 16710 33554432000 1073741824 1073778376 140735270262784 140735270253920 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/729/statm: 2456183 16710 2258 9 0 2446860 0
Current children cumulated CPU time (s) 1.79
Current children cumulated vsize (KiB) 9824732

############
# WARNING:
# current cumulated CPU time (1.78 s) is less than in the last sample (1.79 s)
# The time of a child was probably not reported to its father.
# (see the two samples below)
# Adding the difference (0.00999999 s) to the 'lost time'.

[startup+0.700201 s]
/proc/loadavg: 0.70 0.90 1.10 2/169 729
/proc/meminfo: memFree=28996060/32872528 swapFree=1459604/1655828
[pid=729] ppid=725 vsize=9824732 CPUtime=1.79 cores=1,3,5,7
/proc/729/stat : 729 (java) S 725 729 22681 0 -1 4202496 17726 0 1 0 173 6 0 0 20 0 22 0 13148885 10060525568 16710 33554432000 1073741824 1073778376 140735270262784 140735270253920 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/729/statm: 2456183 16710 2258 9 0 2446860 0
Current children cumulated CPU time (s) 1.79
Current children cumulated vsize (KiB) 9824732

[startup+0.800336 s]
/proc/loadavg: 0.70 0.90 1.10 2/169 729
/proc/meminfo: memFree=28996060/32872528 swapFree=1459604/1655828
[pid=729] ppid=725 vsize=9824732 CPUtime=1.78 cores=1,3,5,7
/proc/729/stat : 729 (java) S 725 729 22681 0 -1 4202496 17726 0 1 0 172 6 0 0 20 0 19 0 13148885 10060525568 16704 33554432000 1073741824 1073778376 140735270262784 140735270253920 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/729/statm: 2456183 16704 2258 9 0 2446860 0
Current children cumulated CPU time (s) 1.78
Current children cumulated vsize (KiB) 9824732
#
############


[startup+1.50074 s]
/proc/loadavg: 0.70 0.90 1.10 1/188 754
/proc/meminfo: memFree=28937552/32872528 swapFree=1459604/1655828
[pid=729] ppid=725 vsize=9824732 CPUtime=1.78 cores=1,3,5,7
/proc/729/stat : 729 (java) S 725 729 22681 0 -1 4202496 17737 0 1 0 172 6 0 0 20 0 19 0 13148885 10060525568 18241 33554432000 1073741824 1073778376 140735270262784 140735270253920 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/729/statm: 2456183 18241 2258 9 0 2446860 0
[pid=729/tid=731] ppid=725 vsize=9824732 CPUtime=0.16 cores=1,3,5,7
/proc/729/task/731/stat : 731 (java) S 725 729 22681 0 -1 4202560 2414 0 1 0 14 2 0 0 20 0 19 0 13148885 10060525568 18241 33554432000 1073741824 1073778376 140735270262784 140138220729208 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=729/tid=732] ppid=725 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/729/task/732/stat : 732 (java) S 725 729 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13148887 10060525568 18241 33554432000 1073741824 1073778376 140735270262784 140138209790888 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=729/tid=733] ppid=725 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/729/task/733/stat : 733 (java) S 725 729 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13148887 10060525568 18241 33554432000 1073741824 1073778376 140735270262784 140138208738344 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=729/tid=734] ppid=725 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/729/task/734/stat : 734 (java) S 725 729 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13148887 10060525568 18241 33554432000 1073741824 1073778376 140735270262784 140138207685288 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=729/tid=735] ppid=725 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/729/task/735/stat : 735 (java) S 725 729 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13148887 10060525568 18241 33554432000 1073741824 1073778376 140735270262784 140138061183784 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=729/tid=736] ppid=725 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/729/task/736/stat : 736 (java) S 725 729 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13148887 10060525568 18241 33554432000 1073741824 1073778376 140735270262784 140138060130728 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=729/tid=737] ppid=725 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/729/task/737/stat : 737 (java) S 725 729 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13148887 10060525568 18241 33554432000 1073741824 1073778376 140735270262784 140138059078184 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=729/tid=738] ppid=725 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/729/task/738/stat : 738 (java) S 725 729 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13148887 10060525568 18241 33554432000 1073741824 1073778376 140735270262784 140138058025128 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=729/tid=739] ppid=725 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/729/task/739/stat : 739 (java) S 725 729 22681 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 13148887 10060525568 18241 33554432000 1073741824 1073778376 140735270262784 140138056972584 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=729/tid=740] ppid=725 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/729/task/740/stat : 740 (java) S 725 729 22681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 13148888 10060525568 18241 33554432000 1073741824 1073778376 140735270262784 140138044775272 239876487081 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=729/tid=741] ppid=725 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/729/task/741/stat : 741 (java) S 725 729 22681 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 13148888 10060525568 18241 33554432000 1073741824 1073778376 140735270262784 140138043721592 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=729/tid=742] ppid=725 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/729/task/742/stat : 742 (java) S 725 729 22681 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 13148888 10060525568 18241 33554432000 1073741824 1073778376 140735270262784 140138042668424 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=729/tid=743] ppid=725 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/729/task/743/stat : 743 (java) S 725 729 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13148890 10060525568 18241 33554432000 1073741824 1073778376 140735270262784 140138041617168 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=729/tid=744] ppid=725 vsize=9824732 CPUtime=0.47 cores=1,3,5,7
/proc/729/task/744/stat : 744 (java) S 725 729 22681 0 -1 4202560 7561 0 0 0 46 1 0 0 20 0 19 0 13148891 10060525568 18241 33554432000 1073741824 1073778376 140735270262784 140138040564024 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=729/tid=745] ppid=725 vsize=9824732 CPUtime=0.47 cores=1,3,5,7
/proc/729/task/745/stat : 745 (java) S 725 729 22681 0 -1 4202560 6414 0 0 0 45 2 0 0 20 0 19 0 13148891 10060525568 18241 33554432000 1073741824 1073778376 140735270262784 140138039511480 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=729/tid=746] ppid=725 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/729/task/746/stat : 746 (java) S 725 729 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13148891 10060525568 18241 33554432000 1073741824 1073778376 140735270262784 140138038458616 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=729/tid=747] ppid=725 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/729/task/747/stat : 747 (java) S 725 729 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13148891 10060525568 18241 33554432000 1073741824 1073778376 140735270262784 140138037406280 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=729/tid=751] ppid=725 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/729/task/751/stat : 751 (java) S 725 729 22681 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 13148904 10060525568 18241 33554432000 1073741824 1073778376 140735270262784 140138033194408 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1.78
Current children cumulated vsize (KiB) 9824732

############
# WARNING:
# current cumulated CPU time (1.82 s) is less than in the last sample (1.83 s)
# The time of a child was probably not reported to its father.
# (see the two samples below)
# Adding the difference (0.00999999 s) to the 'lost time'.

[startup+2.20069 s]
/proc/loadavg: 0.70 0.90 1.10 3/191 763
/proc/meminfo: memFree=28920788/32872528 swapFree=1459604/1655828
[pid=729] ppid=725 vsize=9824732 CPUtime=1.83 cores=1,3,5,7
/proc/729/stat : 729 (java) S 725 729 22681 0 -1 4202496 17755 0 1 0 177 6 0 0 20 0 22 0 13148885 10060525568 20808 33554432000 1073741824 1073778376 140735270262784 140735270253920 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/729/statm: 2456183 20808 2258 9 0 2446860 0
[pid=729/tid=731] ppid=725 vsize=9824732 CPUtime=0.17 cores=1,3,5,7
/proc/729/task/731/stat : 731 (java) S 725 729 22681 0 -1 4202560 2414 0 1 0 15 2 0 0 20 0 19 0 13148885 10060525568 20801 33554432000 1073741824 1073778376 140735270262784 140138220729208 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=729/tid=732] ppid=725 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/729/task/732/stat : 732 (java) S 725 729 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13148887 10060525568 20801 33554432000 1073741824 1073778376 140735270262784 140138209790888 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=729/tid=733] ppid=725 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/729/task/733/stat : 733 (java) S 725 729 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13148887 10060525568 20801 33554432000 1073741824 1073778376 140735270262784 140138208738344 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=729/tid=734] ppid=725 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/729/task/734/stat : 734 (java) S 725 729 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13148887 10060525568 20801 33554432000 1073741824 1073778376 140735270262784 140138207685288 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=729/tid=735] ppid=725 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/729/task/735/stat : 735 (java) S 725 729 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13148887 10060525568 20801 33554432000 1073741824 1073778376 140735270262784 140138061183784 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=729/tid=736] ppid=725 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/729/task/736/stat : 736 (java) S 725 729 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13148887 10060525568 20801 33554432000 1073741824 1073778376 140735270262784 140138060130728 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=729/tid=737] ppid=725 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/729/task/737/stat : 737 (java) S 725 729 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13148887 10060525568 20801 33554432000 1073741824 1073778376 140735270262784 140138059078184 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=729/tid=738] ppid=725 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/729/task/738/stat : 738 (java) S 725 729 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13148887 10060525568 20801 33554432000 1073741824 1073778376 140735270262784 140138058025128 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=729/tid=739] ppid=725 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/729/task/739/stat : 739 (java) S 725 729 22681 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 13148887 10060525568 20801 33554432000 1073741824 1073778376 140735270262784 140138056972584 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=729/tid=740] ppid=725 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/729/task/740/stat : 740 (java) S 725 729 22681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 13148888 10060525568 20801 33554432000 1073741824 1073778376 140735270262784 140138044775272 239876487081 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=729/tid=741] ppid=725 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/729/task/741/stat : 741 (java) S 725 729 22681 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 13148888 10060525568 20801 33554432000 1073741824 1073778376 140735270262784 140138043721592 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=729/tid=742] ppid=725 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/729/task/742/stat : 742 (java) S 725 729 22681 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 13148888 10060525568 20801 33554432000 1073741824 1073778376 140735270262784 140138042668424 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=729/tid=743] ppid=725 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/729/task/743/stat : 743 (java) S 725 729 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13148890 10060525568 20801 33554432000 1073741824 1073778376 140735270262784 140138041617168 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=729/tid=744] ppid=725 vsize=9824732 CPUtime=0.49 cores=1,3,5,7
/proc/729/task/744/stat : 744 (java) R 725 729 22681 0 -1 4202560 7561 0 0 0 48 1 0 0 20 0 19 0 13148891 10060525568 20801 33554432000 1073741824 1073778376 140735270262784 140138040564024 140138222781616 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=729/tid=745] ppid=725 vsize=9824732 CPUtime=0.48 cores=1,3,5,7
/proc/729/task/745/stat : 745 (java) S 725 729 22681 0 -1 4202560 6414 0 0 0 46 2 0 0 20 0 19 0 13148891 10060525568 20801 33554432000 1073741824 1073778376 140735270262784 140138039511480 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=729/tid=746] ppid=725 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/729/task/746/stat : 746 (java) S 725 729 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13148891 10060525568 20801 33554432000 1073741824 1073778376 140735270262784 140138038458616 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=729/tid=747] ppid=725 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/729/task/747/stat : 747 (java) S 725 729 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13148891 10060525568 20801 33554432000 1073741824 1073778376 140735270262784 140138037406280 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=729/tid=751] ppid=725 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/729/task/751/stat : 751 (java) S 725 729 22681 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 13148904 10060525568 20801 33554432000 1073741824 1073778376 140735270262784 140138033194408 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1.83
Current children cumulated vsize (KiB) 9824732

[startup+2.30778 s]
/proc/loadavg: 0.70 0.90 1.10 3/191 763
/proc/meminfo: memFree=28920788/32872528 swapFree=1459604/1655828
[pid=729] ppid=725 vsize=9824732 CPUtime=1.82 cores=1,3,5,7
/proc/729/stat : 729 (java) S 725 729 22681 0 -1 4202496 17755 0 1 0 176 6 0 0 20 0 19 0 13148885 10060525568 20801 33554432000 1073741824 1073778376 140735270262784 140735270253920 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/729/statm: 2456183 20801 2258 9 0 2446860 0
[pid=729/tid=731] ppid=725 vsize=9824732 CPUtime=0.17 cores=1,3,5,7
/proc/729/task/731/stat : 731 (java) S 725 729 22681 0 -1 4202560 2414 0 1 0 15 2 0 0 20 0 19 0 13148885 10060525568 20801 33554432000 1073741824 1073778376 140735270262784 140138220729208 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=729/tid=732] ppid=725 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/729/task/732/stat : 732 (java) S 725 729 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13148887 10060525568 20801 33554432000 1073741824 1073778376 140735270262784 140138209790888 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0

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

/proc/729/task/741/stat : 741 (java) S 725 729 22681 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 13148888 10060525568 55966 33554432000 1073741824 1073778376 140735270262784 140138043721592 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=729/tid=742] ppid=725 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/729/task/742/stat : 742 (java) S 725 729 22681 0 -1 4202560 23 0 0 0 0 0 0 0 20 0 19 0 13148888 10060525568 55966 33554432000 1073741824 1073778376 140735270262784 140138042668424 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=729/tid=743] ppid=725 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/729/task/743/stat : 743 (java) S 725 729 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13148890 10060525568 55966 33554432000 1073741824 1073778376 140735270262784 140138041617168 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=729/tid=744] ppid=725 vsize=9824732 CPUtime=1.45 cores=1,3,5,7
/proc/729/task/744/stat : 744 (java) S 725 729 22681 0 -1 4202560 13048 0 0 0 142 3 0 0 20 0 19 0 13148891 10060525568 55966 33554432000 1073741824 1073778376 140735270262784 140138040564024 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=729/tid=745] ppid=725 vsize=9824732 CPUtime=0.91 cores=1,3,5,7
/proc/729/task/745/stat : 745 (java) S 725 729 22681 0 -1 4202560 8674 0 0 0 89 2 0 0 20 0 19 0 13148891 10060525568 55966 33554432000 1073741824 1073778376 140735270262784 140138039511480 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=729/tid=746] ppid=725 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/729/task/746/stat : 746 (java) S 725 729 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13148891 10060525568 55966 33554432000 1073741824 1073778376 140735270262784 140138038458616 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=729/tid=747] ppid=725 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/729/task/747/stat : 747 (java) S 725 729 22681 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 13148891 10060525568 55966 33554432000 1073741824 1073778376 140735270262784 140138037406280 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=729/tid=751] ppid=725 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/729/task/751/stat : 751 (java) S 725 729 22681 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 13148904 10060525568 55966 33554432000 1073741824 1073778376 140735270262784 140138033194408 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 42.15
Current children cumulated vsize (KiB) 9824732

[startup+57.6009 s]
/proc/loadavg: 0.77 0.86 1.07 3/190 1023
/proc/meminfo: memFree=28790244/32872528 swapFree=1459604/1655828
[pid=729] ppid=725 vsize=9824732 CPUtime=44.68 cores=1,3,5,7
/proc/729/stat : 729 (java) S 725 729 22681 0 -1 4202496 26577 0 1 0 4306 162 0 0 20 0 22 0 13148885 10060525568 52961 33554432000 1073741824 1073778376 140735270262784 140735270253920 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/729/statm: 2456183 52961 2288 9 0 2446860 0
[pid=729/tid=731] ppid=725 vsize=9824732 CPUtime=0.34 cores=1,3,5,7
/proc/729/task/731/stat : 731 (java) S 725 729 22681 0 -1 4202560 2418 0 1 0 32 2 0 0 20 0 22 0 13148885 10060525568 52961 33554432000 1073741824 1073778376 140735270262784 140138220729208 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=729/tid=732] ppid=725 vsize=9824732 CPUtime=0.08 cores=1,3,5,7
/proc/729/task/732/stat : 732 (java) S 725 729 22681 0 -1 4202560 37 0 0 0 6 2 0 0 20 0 22 0 13148887 10060525568 52961 33554432000 1073741824 1073778376 140735270262784 140138209790888 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=729/tid=733] ppid=725 vsize=9824732 CPUtime=0.05 cores=1,3,5,7
/proc/729/task/733/stat : 733 (java) S 725 729 22681 0 -1 4202560 23 0 0 0 4 1 0 0 20 0 22 0 13148887 10060525568 52961 33554432000 1073741824 1073778376 140735270262784 140138208738344 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=729/tid=734] ppid=725 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/729/task/734/stat : 734 (java) S 725 729 22681 0 -1 4202560 41 0 0 0 3 0 0 0 20 0 22 0 13148887 10060525568 52961 33554432000 1073741824 1073778376 140735270262784 140138207685288 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=729/tid=735] ppid=725 vsize=9824732 CPUtime=0.04 cores=1,3,5,7
/proc/729/task/735/stat : 735 (java) S 725 729 22681 0 -1 4202560 27 0 0 0 4 0 0 0 20 0 22 0 13148887 10060525568 52961 33554432000 1073741824 1073778376 140735270262784 140138061183784 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=729/tid=736] ppid=725 vsize=9824732 CPUtime=0.06 cores=1,3,5,7
/proc/729/task/736/stat : 736 (java) S 725 729 22681 0 -1 4202560 38 0 0 0 4 2 0 0 20 0 22 0 13148887 10060525568 52961 33554432000 1073741824 1073778376 140735270262784 140138060130728 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=729/tid=737] ppid=725 vsize=9824732 CPUtime=0.05 cores=1,3,5,7
/proc/729/task/737/stat : 737 (java) S 725 729 22681 0 -1 4202560 31 0 0 0 3 2 0 0 20 0 22 0 13148887 10060525568 52961 33554432000 1073741824 1073778376 140735270262784 140138059078184 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=729/tid=738] ppid=725 vsize=9824732 CPUtime=0.06 cores=1,3,5,7
/proc/729/task/738/stat : 738 (java) S 725 729 22681 0 -1 4202560 36 0 0 0 4 2 0 0 20 0 22 0 13148887 10060525568 52961 33554432000 1073741824 1073778376 140735270262784 140138058025128 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=729/tid=739] ppid=725 vsize=9824732 CPUtime=0.05 cores=1,3,5,7
/proc/729/task/739/stat : 739 (java) S 725 729 22681 0 -1 4202560 20 0 0 0 3 2 0 0 20 0 22 0 13148887 10060525568 52961 33554432000 1073741824 1073778376 140735270262784 140138056972584 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=729/tid=740] ppid=725 vsize=9824732 CPUtime=0.05 cores=1,3,5,7
/proc/729/task/740/stat : 740 (java) S 725 729 22681 0 -1 4202560 41 0 0 0 1 4 0 0 20 0 22 0 13148888 10060525568 52961 33554432000 1073741824 1073778376 140735270262784 140138044775272 239876487081 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=729/tid=741] ppid=725 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/729/task/741/stat : 741 (java) S 725 729 22681 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 13148888 10060525568 52961 33554432000 1073741824 1073778376 140735270262784 140138043721592 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=729/tid=742] ppid=725 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/729/task/742/stat : 742 (java) S 725 729 22681 0 -1 4202560 23 0 0 0 0 0 0 0 20 0 22 0 13148888 10060525568 52961 33554432000 1073741824 1073778376 140735270262784 140138042668424 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=729/tid=743] ppid=725 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/729/task/743/stat : 743 (java) S 725 729 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 13148890 10060525568 52961 33554432000 1073741824 1073778376 140735270262784 140138041617168 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=729/tid=744] ppid=725 vsize=9824732 CPUtime=1.46 cores=1,3,5,7
/proc/729/task/744/stat : 744 (java) S 725 729 22681 0 -1 4202560 13048 0 0 0 143 3 0 0 20 0 22 0 13148891 10060525568 52961 33554432000 1073741824 1073778376 140735270262784 140138040564024 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=729/tid=745] ppid=725 vsize=9824732 CPUtime=0.95 cores=1,3,5,7
/proc/729/task/745/stat : 745 (java) S 725 729 22681 0 -1 4202560 8674 0 0 0 93 2 0 0 20 0 22 0 13148891 10060525568 52961 33554432000 1073741824 1073778376 140735270262784 140138039511480 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=729/tid=746] ppid=725 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/729/task/746/stat : 746 (java) S 725 729 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 13148891 10060525568 52961 33554432000 1073741824 1073778376 140735270262784 140138038458616 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=729/tid=747] ppid=725 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/729/task/747/stat : 747 (java) S 725 729 22681 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 13148891 10060525568 52961 33554432000 1073741824 1073778376 140735270262784 140138037406280 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=729/tid=751] ppid=725 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/729/task/751/stat : 751 (java) S 725 729 22681 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 13148904 10060525568 52961 33554432000 1073741824 1073778376 140735270262784 140138033194408 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=729/tid=1021] ppid=725 vsize=9824732 CPUtime=0.85 cores=1,3,5,7
/proc/729/task/1021/stat : 1021 (java) R 725 729 22681 0 -1 4202560 6 0 0 0 85 0 0 0 20 0 22 0 13154557 10060525568 52961 33554432000 1073741824 1073778376 140735270262784 140138035298856 140138089244209 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=729/tid=1022] ppid=725 vsize=9824732 CPUtime=0.86 cores=1,3,5,7
/proc/729/task/1022/stat : 1022 (java) R 725 729 22681 0 -1 4202560 2 0 0 0 86 0 0 0 20 0 22 0 13154557 10060525568 52961 33554432000 1073741824 1073778376 140735270262784 140138034244016 140138089375869 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=729/tid=1023] ppid=725 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/729/task/1023/stat : 1023 (java) S 725 729 22681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 13154559 10060525568 52961 33554432000 1073741824 1073778376 140735270262784 140138036352680 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 44.68
Current children cumulated vsize (KiB) 9824732

[startup+58.0009 s]
/proc/loadavg: 0.77 0.86 1.07 3/190 1023
/proc/meminfo: memFree=28790244/32872528 swapFree=1459604/1655828
[pid=729] ppid=725 vsize=9824732 CPUtime=45.32 cores=1,3,5,7
/proc/729/stat : 729 (java) S 725 729 22681 0 -1 4202496 26580 0 1 0 4368 164 0 0 20 0 19 0 13148885 10060525568 52746 33554432000 1073741824 1073778376 140735270262784 140735270253920 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/729/statm: 2456183 52746 2288 9 0 2446860 0
[pid=729/tid=731] ppid=725 vsize=9824732 CPUtime=0.34 cores=1,3,5,7
/proc/729/task/731/stat : 731 (java) S 725 729 22681 0 -1 4202560 2418 0 1 0 32 2 0 0 20 0 19 0 13148885 10060525568 52746 33554432000 1073741824 1073778376 140735270262784 140138220729208 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=729/tid=732] ppid=725 vsize=9824732 CPUtime=0.08 cores=1,3,5,7
/proc/729/task/732/stat : 732 (java) S 725 729 22681 0 -1 4202560 37 0 0 0 6 2 0 0 20 0 19 0 13148887 10060525568 52746 33554432000 1073741824 1073778376 140735270262784 140138209790888 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=729/tid=733] ppid=725 vsize=9824732 CPUtime=0.05 cores=1,3,5,7
/proc/729/task/733/stat : 733 (java) S 725 729 22681 0 -1 4202560 25 0 0 0 4 1 0 0 20 0 19 0 13148887 10060525568 52746 33554432000 1073741824 1073778376 140735270262784 140138208738344 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=729/tid=734] ppid=725 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/729/task/734/stat : 734 (java) S 725 729 22681 0 -1 4202560 41 0 0 0 3 0 0 0 20 0 19 0 13148887 10060525568 52746 33554432000 1073741824 1073778376 140735270262784 140138207685288 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=729/tid=735] ppid=725 vsize=9824732 CPUtime=0.04 cores=1,3,5,7
/proc/729/task/735/stat : 735 (java) S 725 729 22681 0 -1 4202560 27 0 0 0 4 0 0 0 20 0 19 0 13148887 10060525568 52746 33554432000 1073741824 1073778376 140735270262784 140138061183784 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=729/tid=736] ppid=725 vsize=9824732 CPUtime=0.06 cores=1,3,5,7
/proc/729/task/736/stat : 736 (java) S 725 729 22681 0 -1 4202560 38 0 0 0 4 2 0 0 20 0 19 0 13148887 10060525568 52746 33554432000 1073741824 1073778376 140735270262784 140138060130728 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=729/tid=737] ppid=725 vsize=9824732 CPUtime=0.05 cores=1,3,5,7
/proc/729/task/737/stat : 737 (java) S 725 729 22681 0 -1 4202560 31 0 0 0 3 2 0 0 20 0 19 0 13148887 10060525568 52746 33554432000 1073741824 1073778376 140735270262784 140138059078184 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=729/tid=738] ppid=725 vsize=9824732 CPUtime=0.06 cores=1,3,5,7
/proc/729/task/738/stat : 738 (java) S 725 729 22681 0 -1 4202560 36 0 0 0 4 2 0 0 20 0 19 0 13148887 10060525568 52746 33554432000 1073741824 1073778376 140735270262784 140138058025128 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=729/tid=739] ppid=725 vsize=9824732 CPUtime=0.05 cores=1,3,5,7
/proc/729/task/739/stat : 739 (java) S 725 729 22681 0 -1 4202560 20 0 0 0 3 2 0 0 20 0 19 0 13148887 10060525568 52746 33554432000 1073741824 1073778376 140735270262784 140138056972584 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=729/tid=740] ppid=725 vsize=9824732 CPUtime=0.05 cores=1,3,5,7
/proc/729/task/740/stat : 740 (java) S 725 729 22681 0 -1 4202560 41 0 0 0 1 4 0 0 20 0 19 0 13148888 10060525568 52746 33554432000 1073741824 1073778376 140735270262784 140138044775272 239876487081 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=729/tid=741] ppid=725 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/729/task/741/stat : 741 (java) S 725 729 22681 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 13148888 10060525568 52746 33554432000 1073741824 1073778376 140735270262784 140138043721592 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=729/tid=742] ppid=725 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/729/task/742/stat : 742 (java) S 725 729 22681 0 -1 4202560 23 0 0 0 0 0 0 0 20 0 19 0 13148888 10060525568 52746 33554432000 1073741824 1073778376 140735270262784 140138042668424 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=729/tid=743] ppid=725 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/729/task/743/stat : 743 (java) S 725 729 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13148890 10060525568 52746 33554432000 1073741824 1073778376 140735270262784 140138041617168 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=729/tid=744] ppid=725 vsize=9824732 CPUtime=1.46 cores=1,3,5,7
/proc/729/task/744/stat : 744 (java) S 725 729 22681 0 -1 4202560 13048 0 0 0 143 3 0 0 20 0 19 0 13148891 10060525568 52746 33554432000 1073741824 1073778376 140735270262784 140138040564024 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=729/tid=745] ppid=725 vsize=9824732 CPUtime=0.95 cores=1,3,5,7
/proc/729/task/745/stat : 745 (java) S 725 729 22681 0 -1 4202560 8674 0 0 0 93 2 0 0 20 0 19 0 13148891 10060525568 52746 33554432000 1073741824 1073778376 140735270262784 140138039511480 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=729/tid=746] ppid=725 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/729/task/746/stat : 746 (java) S 725 729 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13148891 10060525568 52746 33554432000 1073741824 1073778376 140735270262784 140138038458616 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=729/tid=747] ppid=725 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/729/task/747/stat : 747 (java) S 725 729 22681 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 13148891 10060525568 52746 33554432000 1073741824 1073778376 140735270262784 140138037406280 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=729/tid=751] ppid=725 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/729/task/751/stat : 751 (java) S 725 729 22681 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 13148904 10060525568 52746 33554432000 1073741824 1073778376 140735270262784 140138033194408 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 45.32
Current children cumulated vsize (KiB) 9824732

[startup+58.2008 s]
/proc/loadavg: 0.77 0.86 1.07 3/190 1023
/proc/meminfo: memFree=28790244/32872528 swapFree=1459604/1655828
[pid=729] ppid=725 vsize=9824732 CPUtime=45.32 cores=1,3,5,7
/proc/729/stat : 729 (java) S 725 729 22681 0 -1 4202496 26580 0 1 0 4368 164 0 0 20 0 19 0 13148885 10060525568 52746 33554432000 1073741824 1073778376 140735270262784 140735270253920 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/729/statm: 2456183 52746 2288 9 0 2446860 0
[pid=729/tid=731] ppid=725 vsize=9824732 CPUtime=0.34 cores=1,3,5,7
/proc/729/task/731/stat : 731 (java) S 725 729 22681 0 -1 4202560 2418 0 1 0 32 2 0 0 20 0 19 0 13148885 10060525568 52746 33554432000 1073741824 1073778376 140735270262784 140138220729208 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=729/tid=732] ppid=725 vsize=9824732 CPUtime=0.08 cores=1,3,5,7
/proc/729/task/732/stat : 732 (java) S 725 729 22681 0 -1 4202560 37 0 0 0 6 2 0 0 20 0 19 0 13148887 10060525568 52746 33554432000 1073741824 1073778376 140735270262784 140138209790888 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=729/tid=733] ppid=725 vsize=9824732 CPUtime=0.05 cores=1,3,5,7
/proc/729/task/733/stat : 733 (java) S 725 729 22681 0 -1 4202560 25 0 0 0 4 1 0 0 20 0 19 0 13148887 10060525568 52746 33554432000 1073741824 1073778376 140735270262784 140138208738344 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=729/tid=734] ppid=725 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/729/task/734/stat : 734 (java) S 725 729 22681 0 -1 4202560 41 0 0 0 3 0 0 0 20 0 19 0 13148887 10060525568 52746 33554432000 1073741824 1073778376 140735270262784 140138207685288 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=729/tid=735] ppid=725 vsize=9824732 CPUtime=0.04 cores=1,3,5,7
/proc/729/task/735/stat : 735 (java) S 725 729 22681 0 -1 4202560 27 0 0 0 4 0 0 0 20 0 19 0 13148887 10060525568 52746 33554432000 1073741824 1073778376 140735270262784 140138061183784 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=729/tid=736] ppid=725 vsize=9824732 CPUtime=0.06 cores=1,3,5,7
/proc/729/task/736/stat : 736 (java) S 725 729 22681 0 -1 4202560 38 0 0 0 4 2 0 0 20 0 19 0 13148887 10060525568 52746 33554432000 1073741824 1073778376 140735270262784 140138060130728 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=729/tid=737] ppid=725 vsize=9824732 CPUtime=0.05 cores=1,3,5,7
/proc/729/task/737/stat : 737 (java) S 725 729 22681 0 -1 4202560 31 0 0 0 3 2 0 0 20 0 19 0 13148887 10060525568 52746 33554432000 1073741824 1073778376 140735270262784 140138059078184 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=729/tid=738] ppid=725 vsize=9824732 CPUtime=0.06 cores=1,3,5,7
/proc/729/task/738/stat : 738 (java) S 725 729 22681 0 -1 4202560 36 0 0 0 4 2 0 0 20 0 19 0 13148887 10060525568 52746 33554432000 1073741824 1073778376 140735270262784 140138058025128 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=729/tid=739] ppid=725 vsize=9824732 CPUtime=0.05 cores=1,3,5,7
/proc/729/task/739/stat : 739 (java) S 725 729 22681 0 -1 4202560 20 0 0 0 3 2 0 0 20 0 19 0 13148887 10060525568 52746 33554432000 1073741824 1073778376 140735270262784 140138056972584 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=729/tid=740] ppid=725 vsize=9824732 CPUtime=0.05 cores=1,3,5,7
/proc/729/task/740/stat : 740 (java) S 725 729 22681 0 -1 4202560 41 0 0 0 1 4 0 0 20 0 19 0 13148888 10060525568 52746 33554432000 1073741824 1073778376 140735270262784 140138044775272 239876487081 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=729/tid=741] ppid=725 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/729/task/741/stat : 741 (java) S 725 729 22681 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 13148888 10060525568 52746 33554432000 1073741824 1073778376 140735270262784 140138043721592 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=729/tid=742] ppid=725 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/729/task/742/stat : 742 (java) S 725 729 22681 0 -1 4202560 23 0 0 0 0 0 0 0 20 0 19 0 13148888 10060525568 52746 33554432000 1073741824 1073778376 140735270262784 140138042668424 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=729/tid=743] ppid=725 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/729/task/743/stat : 743 (java) S 725 729 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13148890 10060525568 52746 33554432000 1073741824 1073778376 140735270262784 140138041617168 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=729/tid=744] ppid=725 vsize=9824732 CPUtime=1.46 cores=1,3,5,7
/proc/729/task/744/stat : 744 (java) S 725 729 22681 0 -1 4202560 13048 0 0 0 143 3 0 0 20 0 19 0 13148891 10060525568 52746 33554432000 1073741824 1073778376 140735270262784 140138040564024 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=729/tid=745] ppid=725 vsize=9824732 CPUtime=0.95 cores=1,3,5,7
/proc/729/task/745/stat : 745 (java) S 725 729 22681 0 -1 4202560 8674 0 0 0 93 2 0 0 20 0 19 0 13148891 10060525568 52746 33554432000 1073741824 1073778376 140735270262784 140138039511480 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=729/tid=746] ppid=725 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/729/task/746/stat : 746 (java) S 725 729 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13148891 10060525568 52746 33554432000 1073741824 1073778376 140735270262784 140138038458616 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=729/tid=747] ppid=725 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/729/task/747/stat : 747 (java) S 725 729 22681 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 13148891 10060525568 52746 33554432000 1073741824 1073778376 140735270262784 140138037406280 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=729/tid=751] ppid=725 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/729/task/751/stat : 751 (java) S 725 729 22681 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 13148904 10060525568 52746 33554432000 1073741824 1073778376 140735270262784 140138033194408 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 45.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.03
#  lost CPU user time (s): 0.03
#  lost CPU system time (s): 0

Real time (s): 58.2554
CPU time (s): 45.4661
CPU user time (s): 43.7054
CPU system time (s): 1.76073
CPU usage (%): 78.0461
Max. virtual memory (cumulated for all children) (KiB): 9824732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 43.6754
system time used= 1.76073
maximum resident set size= 239348
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26592
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= 4372
involuntary context switches= 1341

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.231964 second user time and 0.295955 second system time

The end

Launcher Data 

Begin job on node136 at 2016-06-30 23:26:17
IDJOB=4092305
IDBENCH=79228
IDSOLVER=2552
FILE ID=node136/4092305-1467321977
RUNJOBID= node136-1467318739-25000
PBS_JOBID= 20005289
Free space on /tmp= 71648 MiB

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

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

MD5SUM BENCH= fcf24b85e5d55a97f5b0cb315ea68e2b
RANDOM SEED=654935696

node136.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.182
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.36
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.182
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.182
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.182
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.182
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.182
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.182
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.182
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        28996696 kB
Buffers:          106320 kB
Cached:          1342484 kB
SwapCached:            0 kB
Active:           235096 kB
Inactive:        1239868 kB
Active(anon):       5924 kB
Inactive(anon):    22644 kB
Active(file):     229172 kB
Inactive(file):  1217224 kB
Unevictable:     1655828 kB
Mlocked:         1459604 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:               516 kB
Writeback:             0 kB
AnonPages:       1681888 kB
Mapped:            13808 kB
Shmem:               204 kB
Slab:             613464 kB
SReclaimable:      57464 kB
SUnreclaim:       556000 kB
KernelStack:        1376 kB
PageTables:         6624 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1766988 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    210944 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= 71644 MiB
End job on node136 at 2016-06-30 23:27:15