Trace number 4118260

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 NameAnswerobjective functionCPU timeWall clock time
Sat4j PB 2.3.6 Res+CP PB16SAT (TO)345 1800.3 1145.65

General information on the benchmark

NamePB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/
minlplib2-pb-0.1.0/opb/normalized-edgecross10-050.lin.opb
MD5SUM13f39ac7da8cb7567021ad7bbb224d86
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark291
Best CPU time to get the best result obtained on this benchmark1800.1
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables876
Total number of constraints2051
Number of constraints which are clauses1265
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints785
Minimum length of a constraint1
Maximum length of a constraint3
Number of terms in the objective function 872
Biggest coefficient in the objective function 527
Number of bits for the biggest coefficient in the objective function 10
Sum of the numbers in the objective function 2561
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 527
Number of bits of the biggest number in a constraint 10
Biggest sum of numbers in a constraint 2561
Number of bits of the biggest sum of numbers12
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@16fd0b7
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@4413ee
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@75786e64
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@4413ee
0.09/0.12	c --- End Solver configuration ---
0.09/0.12	c solving HOME/instance-4118260-1467224636.opb
0.09/0.12	c reading problem ... 
0.09/0.12	c  objective function found
0.47/0.31	c ... done. Wall clock time 0.196s.
0.47/0.31	c declared #vars     876
0.47/0.31	c #constraints  2052
0.47/0.32	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.47/0.32	c constraints type 
0.47/0.32	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1265
0.47/0.32	c org.sat4j.specs.Constr$1 => 1
0.47/0.32	c org.sat4j.minisat.constraints.cnf.UnitClause => 1
0.47/0.32	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 785
0.47/0.32	c 2052 constraints processed.
0.47/0.32	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.47/0.32	c constraints type 
0.47/0.32	c org.sat4j.specs.Constr$1 => 1
0.47/0.32	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 1265
0.47/0.32	c org.sat4j.pb.constraints.pb.MaxWatchPb => 785
0.47/0.32	c org.sat4j.pb.constraints.pb.UnitClausePB => 1
0.47/0.32	c 2052 constraints processed.
0.47/0.32	c objective function length is 872 literals
0.47/0.33	c And the winner is solver0
0.61/0.82	c SATISFIABLE
0.61/0.82	c OPTIMIZING...
0.61/0.82	c Got one! Elapsed wall clock time (in seconds):0.702
0.61/0.82	o 503
0.61/0.85	c And the winner is solver0
0.71/1.33	c Got one! Elapsed wall clock time (in seconds):1.214
0.71/1.33	o 500
0.71/1.35	c And the winner is solver0
1.18/1.85	c Got one! Elapsed wall clock time (in seconds):1.733
1.18/1.85	o 494
1.31/1.94	c And the winner is solver0
1.47/2.36	c Got one! Elapsed wall clock time (in seconds):2.241
1.47/2.36	o 493
1.87/2.54	c And the winner is solver0
2.02/2.86	c Got one! Elapsed wall clock time (in seconds):2.745
2.02/2.86	o 491
2.09/2.90	c And the winner is solver0
2.17/3.37	c Got one! Elapsed wall clock time (in seconds):3.247
2.17/3.37	o 490
2.17/3.40	c And the winner is solver0
2.27/3.87	c Got one! Elapsed wall clock time (in seconds):3.75
2.27/3.87	o 489
2.35/3.94	c And the winner is solver0
2.66/4.37	c Got one! Elapsed wall clock time (in seconds):4.253
2.66/4.37	o 488
2.72/4.43	c And the winner is solver0
2.79/4.87	c Got one! Elapsed wall clock time (in seconds):4.756
2.79/4.87	o 486
2.79/4.89	c And the winner is solver0
2.81/5.38	c Got one! Elapsed wall clock time (in seconds):5.26
2.81/5.38	o 485
2.81/5.39	c And the winner is solver0
2.86/5.88	c Got one! Elapsed wall clock time (in seconds):5.763
2.86/5.88	o 484
3.12/6.01	c And the winner is solver0
3.19/6.38	c Got one! Elapsed wall clock time (in seconds):6.265
3.19/6.38	o 483
3.19/6.39	c And the winner is solver0
3.23/6.88	c Got one! Elapsed wall clock time (in seconds):6.767
3.23/6.88	o 482
3.25/6.90	c And the winner is solver0
3.28/7.39	c Got one! Elapsed wall clock time (in seconds):7.269
3.28/7.39	o 481
3.32/7.49	c And the winner is solver0
3.53/7.89	c Got one! Elapsed wall clock time (in seconds):7.771
3.53/7.89	o 476
3.55/7.95	c And the winner is solver0
3.74/8.39	c Got one! Elapsed wall clock time (in seconds):8.273
3.74/8.39	o 475
3.75/8.48	c And the winner is solver0
3.95/8.89	c Got one! Elapsed wall clock time (in seconds):8.774
3.95/8.89	o 471
4.16/9.05	c And the winner is solver0
4.28/9.39	c Got one! Elapsed wall clock time (in seconds):9.276
4.28/9.39	o 469
4.49/9.50	c And the winner is solver0
4.52/9.90	c Got one! Elapsed wall clock time (in seconds):9.778
4.52/9.90	o 468
4.74/10.02	c And the winner is solver0
4.80/10.40	c Got one! Elapsed wall clock time (in seconds):10.279
4.80/10.40	o 466
4.80/10.40	c And the winner is solver0
4.80/10.90	c Got one! Elapsed wall clock time (in seconds):10.781
4.80/10.90	o 461
4.80/10.97	c And the winner is solver0
4.99/11.40	c Got one! Elapsed wall clock time (in seconds):11.282
4.99/11.40	o 456
5.70/11.71	c cleaning 5468 clauses out of 10936 with flag 4065/10936
5.70/11.77	c And the winner is solver0
5.89/11.90	c Got one! Elapsed wall clock time (in seconds):11.784
5.89/11.90	o 455
6.08/12.06	c And the winner is solver0
6.24/12.40	c Got one! Elapsed wall clock time (in seconds):12.285
6.24/12.40	o 451
6.24/12.49	c And the winner is solver0
6.54/12.90	c Got one! Elapsed wall clock time (in seconds):12.787
6.54/12.90	o 450
6.54/12.93	c And the winner is solver0
6.61/13.41	c Got one! Elapsed wall clock time (in seconds):13.289
6.61/13.41	o 448
6.61/13.42	c And the winner is solver0
6.65/13.91	c Got one! Elapsed wall clock time (in seconds):13.79
6.65/13.91	o 445
7.66/14.45	c cleaning 6047 clauses out of 12094 with flag 8071/17562
9.35/15.26	c cleaning 6022 clauses out of 12044 with flag 20085/23559
10.25/15.67	c And the winner is solver1
10.41/15.91	c Got one! Elapsed wall clock time (in seconds):15.793
10.41/15.91	o 440
10.58/16.02	c And the winner is solver0
10.65/16.41	c Got one! Elapsed wall clock time (in seconds):16.295
10.65/16.41	o 436
10.65/16.50	c And the winner is solver0
10.92/16.91	c Got one! Elapsed wall clock time (in seconds):16.797
10.92/16.91	o 435
11.09/17.04	c And the winner is solver0
11.22/17.42	c Got one! Elapsed wall clock time (in seconds):17.299
11.22/17.42	o 433
11.22/17.46	c And the winner is solver0
11.34/17.92	c Got one! Elapsed wall clock time (in seconds):17.801
11.34/17.92	o 432
11.34/17.96	c And the winner is solver0
11.46/18.42	c Got one! Elapsed wall clock time (in seconds):18.303
11.46/18.42	o 431
11.46/18.47	c And the winner is solver0
11.58/18.92	c Got one! Elapsed wall clock time (in seconds):18.805
11.58/18.92	o 428
11.72/19.06	c And the winner is solver0
11.88/19.42	c Got one! Elapsed wall clock time (in seconds):19.307
11.88/19.42	o 427
12.71/19.90	c cleaning 7753 clauses out of 15505 with flag 7921/33042
12.91/19.93	c And the winner is solver0
13.01/20.43	c Got one! Elapsed wall clock time (in seconds):20.31
13.01/20.43	o 419
14.34/21.14	c cleaning 6511 clauses out of 13021 with flag 12690/38311
16.27/22.04	c cleaning 6255 clauses out of 12509 with flag 26398/44310
18.05/22.99	c cleaning 6623 clauses out of 13254 with flag 41195/51310
20.56/24.17	c cleaning 7317 clauses out of 14634 with flag 57773/59313
21.17/24.36	c And the winner is solver0
21.50/24.43	c Got one! Elapsed wall clock time (in seconds):24.312
21.50/24.43	o 418
21.68/24.59	c And the winner is solver0
21.94/24.93	c Got one! Elapsed wall clock time (in seconds):24.814
21.94/24.93	o 417
22.07/25.03	c And the winner is solver0
22.19/25.43	c Got one! Elapsed wall clock time (in seconds):25.316
22.19/25.43	o 415
22.91/25.89	c cleaning 6706 clauses out of 13422 with flag 6977/65418
24.01/26.31	c And the winner is solver0
24.11/26.44	c Got one! Elapsed wall clock time (in seconds):26.318
24.11/26.44	o 413
25.04/26.90	c cleaning 6343 clauses out of 12694 with flag 8026/71396
25.04/26.96	c And the winner is solver0
25.24/27.44	c Got one! Elapsed wall clock time (in seconds):27.32
25.24/27.44	o 405
25.96/27.80	c And the winner is solver0
26.04/27.94	c Got one! Elapsed wall clock time (in seconds):27.822
26.04/27.94	o 402
26.15/28.04	c And the winner is solver0
26.31/28.44	c Got one! Elapsed wall clock time (in seconds):28.324
26.31/28.44	o 399
26.63/28.69	c And the winner is solver0
26.90/28.94	c Got one! Elapsed wall clock time (in seconds):28.826
26.90/28.94	o 397
27.20/29.11	c cleaning 6671 clauses out of 13346 with flag 2756/78391
27.20/29.13	c And the winner is solver0
27.36/29.45	c Got one! Elapsed wall clock time (in seconds):29.328
27.36/29.45	o 394
27.45/29.51	c And the winner is solver0
27.52/29.95	c Got one! Elapsed wall clock time (in seconds):29.831
27.52/29.95	o 391
29.10/30.74	c cleaning 6131 clauses out of 12261 with flag 14483/83977
30.89/31.61	c cleaning 6061 clauses out of 12130 with flag 31036/89977
32.89/32.62	c cleaning 6525 clauses out of 13068 with flag 49162/96976
35.29/33.82	c cleaning 7271 clauses out of 14543 with flag 68628/104976
37.89/35.11	c cleaning 8131 clauses out of 16272 with flag 90700/113976
40.69/36.52	c cleaning 9065 clauses out of 18143 with flag 116098/123978
43.69/38.03	c cleaning 10036 clauses out of 20077 with flag 141530/134977
43.89/38.17	c And the winner is solver0
44.55/38.70	c Got one! Elapsed wall clock time (in seconds):38.585
44.55/38.70	o 390
45.73/39.30	c cleaning 7581 clauses out of 15178 with flag 11267/140114
47.41/40.16	c cleaning 6793 clauses out of 13599 with flag 25374/146116
49.41/41.14	c cleaning 6894 clauses out of 13805 with flag 41435/153115
51.61/42.26	c cleaning 7451 clauses out of 14910 with flag 60465/161114
54.21/43.59	c cleaning 8230 clauses out of 16460 with flag 82894/170115
56.40/44.61	c And the winner is solver0
57.61/45.81	c Got one! Elapsed wall clock time (in seconds):45.689
57.61/45.81	o 388
57.61/45.86	c And the winner is solver0
57.76/46.31	c Got one! Elapsed wall clock time (in seconds):46.191
57.76/46.31	o 387
57.94/46.43	c And the winner is solver0
58.09/46.81	c Got one! Elapsed wall clock time (in seconds):46.693
58.09/46.81	o 386
59.65/47.64	c cleaning 11065 clauses out of 22129 with flag 14039/184014
61.46/48.53	c cleaning 8527 clauses out of 17064 with flag 29167/190014
63.46/49.60	c cleaning 7766 clauses out of 15537 with flag 46195/197014
66.05/50.80	c cleaning 7882 clauses out of 15772 with flag 64516/205015
68.65/52.17	c cleaning 8439 clauses out of 16889 with flag 85123/214014
71.85/53.71	c cleaning 9226 clauses out of 18451 with flag 107599/224015
75.25/55.40	c cleaning 10107 clauses out of 20224 with flag 132251/235014
78.86/57.21	c cleaning 11054 clauses out of 22118 with flag 159213/247015
82.85/59.29	c cleaning 12033 clauses out of 24065 with flag 189275/260016
87.66/61.64	c cleaning 13014 clauses out of 26032 with flag 221952/274016
92.85/64.23	c cleaning 14006 clauses out of 28018 with flag 256151/289016
98.05/66.83	c cleaning 15000 clauses out of 30014 with flag 292971/305018
103.85/69.75	c cleaning 16006 clauses out of 32012 with flag 331780/322016
110.80/73.17	c cleaning 16996 clauses out of 34004 with flag 373393/340014
115.60/75.50	c And the winner is solver0
115.74/75.82	c Got one! Elapsed wall clock time (in seconds):75.7
115.74/75.82	o 382
117.49/76.76	c cleaning 18365 clauses out of 36746 with flag 12417/359752
119.29/77.64	c cleaning 12188 clauses out of 24381 with flag 27023/365752
121.29/78.61	c cleaning 9587 clauses out of 19193 with flag 43931/372752
123.49/79.78	c cleaning 8802 clauses out of 17608 with flag 64522/380754
126.29/81.12	c cleaning 8902 clauses out of 17805 with flag 86883/389753
129.30/82.66	c cleaning 9451 clauses out of 18903 with flag 111912/399753
132.29/84.10	c cleaning 10224 clauses out of 20452 with flag 136650/410753
135.29/85.67	c cleaning 11110 clauses out of 22228 with flag 163294/422753
138.89/87.44	c cleaning 12055 clauses out of 24117 with flag 192454/435752
142.89/89.46	c cleaning 13030 clauses out of 26064 with flag 224348/449754
147.49/91.73	c cleaning 14006 clauses out of 28033 with flag 258951/464753
152.49/94.22	c cleaning 15008 clauses out of 30026 with flag 296051/480752
158.09/97.00	c cleaning 16005 clauses out of 32018 with flag 333696/497752
164.50/100.29	c cleaning 17004 clauses out of 34016 with flag 375765/515755
171.49/103.76	c cleaning 18005 clauses out of 36009 with flag 421922/534752
179.44/107.64	c cleaning 18996 clauses out of 38005 with flag 469916/554753
186.84/111.38	c cleaning 20004 clauses out of 40009 with flag 517315/575753
194.84/115.39	c cleaning 20998 clauses out of 42006 with flag 566555/597754
203.84/119.85	c cleaning 21998 clauses out of 44008 with flag 617760/620754
212.04/123.94	c cleaning 22997 clauses out of 46008 with flag 671187/644752
221.04/128.41	c cleaning 24000 clauses out of 48012 with flag 726765/669753
230.84/133.31	c cleaning 24999 clauses out of 50011 with flag 785633/695752
240.84/138.31	c cleaning 26001 clauses out of 52013 with flag 848538/722753
250.64/143.27	c cleaning 27003 clauses out of 54012 with flag 912989/750753
258.44/147.17	c And the winner is solver0
270.93/159.57	c Got one! Elapsed wall clock time (in seconds):159.448
270.93/159.57	o 380
273.25/160.79	c cleaning 28443 clauses out of 56891 with flag 11532/780635
275.45/161.85	c cleaning 17223 clauses out of 34448 with flag 24945/786635
277.83/163.00	c cleaning 12108 clauses out of 24225 with flag 41770/793635
280.03/164.14	c cleaning 10055 clauses out of 20118 with flag 59125/801636
281.03/164.63	c And the winner is solver0
304.08/187.65	c Got one! Elapsed wall clock time (in seconds):187.535
304.08/187.65	o 379
304.20/187.79	c And the winner is solver0
304.48/188.15	c Got one! Elapsed wall clock time (in seconds):188.037
304.48/188.15	o 376
304.57/188.26	c And the winner is solver0
304.76/188.66	c Got one! Elapsed wall clock time (in seconds):188.54
304.76/188.66	o 375
305.44/189.02	c cleaning 8573 clauses out of 17153 with flag 5959/808726
307.24/189.93	c cleaning 7291 clauses out of 14581 with flag 21547/814727
309.43/191.02	c cleaning 7140 clauses out of 14289 with flag 39680/821726
311.63/192.13	c cleaning 7565 clauses out of 15150 with flag 59251/829727
314.04/193.40	c cleaning 8288 clauses out of 16584 with flag 80808/838726
316.85/194.79	c cleaning 9147 clauses out of 18296 with flag 103271/848726
319.83/196.28	c cleaning 10074 clauses out of 20150 with flag 127440/859727
320.44/196.56	c And the winner is solver0
341.42/217.18	c Got one! Elapsed wall clock time (in seconds):217.06
341.42/217.18	o 373
342.31/217.63	c cleaning 7697 clauses out of 15401 with flag 8603/865052
343.91/218.46	c cleaning 6847 clauses out of 13704 with flag 23218/871052
345.70/219.34	c cleaning 6928 clauses out of 13858 with flag 38540/878053
347.50/220.26	c And the winner is solver0
349.68/222.38	c Got one! Elapsed wall clock time (in seconds):222.265
349.68/222.38	o 371
351.15/223.15	c cleaning 9569 clauses out of 19144 with flag 11722/890267
352.95/224.02	c cleaning 7785 clauses out of 15577 with flag 25302/896269
354.95/225.02	c cleaning 7391 clauses out of 14789 with flag 41951/903266
356.95/226.10	c cleaning 7695 clauses out of 15398 with flag 60409/911266
359.35/227.26	c cleaning 8351 clauses out of 16702 with flag 80172/920265
361.95/228.51	c cleaning 9172 clauses out of 18351 with flag 102095/930265
364.76/229.91	c cleaning 10087 clauses out of 20180 with flag 127039/941266
368.35/231.76	c cleaning 11044 clauses out of 22092 with flag 154352/953265
370.94/233.07	c And the winner is solver0
388.43/250.46	c Got one! Elapsed wall clock time (in seconds):250.346
388.43/250.46	o 370
390.14/251.36	c cleaning 12906 clauses out of 25821 with flag 12417/968038
391.94/252.22	c cleaning 9448 clauses out of 18914 with flag 26330/974037
393.94/253.24	c cleaning 8228 clauses out of 16466 with flag 42391/981037
395.95/254.25	c cleaning 8112 clauses out of 16239 with flag 60414/989038
398.15/255.37	c cleaning 8563 clauses out of 17126 with flag 80691/998037
399.74/256.12	c And the winner is solver0
422.18/278.55	c Got one! Elapsed wall clock time (in seconds):278.431
422.18/278.55	o 369
423.50/279.22	c And the winner is solver0
425.02/280.70	c Got one! Elapsed wall clock time (in seconds):280.585
425.02/280.70	o 366
425.21/280.87	c cleaning 10074 clauses out of 20149 with flag 2394/1009623
427.21/281.83	c cleaning 8037 clauses out of 16074 with flag 18293/1015622
429.41/282.91	c cleaning 7519 clauses out of 15038 with flag 34856/1022623
431.81/284.18	c cleaning 7759 clauses out of 15519 with flag 54229/1030623
434.61/285.57	c cleaning 8379 clauses out of 16759 with flag 75739/1039622
438.02/287.25	c cleaning 9190 clauses out of 18380 with flag 99630/1049622
441.61/289.07	c cleaning 10087 clauses out of 20191 with flag 125575/1060623
445.41/290.99	c cleaning 11052 clauses out of 22104 with flag 153594/1072623
449.41/292.99	c cleaning 12020 clauses out of 24052 with flag 182367/1085623
454.01/295.21	c cleaning 13016 clauses out of 26031 with flag 213227/1099622
459.02/297.75	c cleaning 14007 clauses out of 28016 with flag 246332/1114623
464.62/300.51	c cleaning 15000 clauses out of 30012 with flag 281893/1130626
470.02/303.22	c cleaning 16004 clauses out of 32009 with flag 319736/1147623
475.82/306.19	c cleaning 17002 clauses out of 34006 with flag 360886/1165624
482.62/309.55	c cleaning 17993 clauses out of 36002 with flag 403360/1184622
486.23/311.39	c And the winner is solver0
486.72/311.76	c Got one! Elapsed wall clock time (in seconds):311.641
486.72/311.76	o 365
488.61/312.78	c cleaning 17896 clauses out of 35796 with flag 12500/1202409
490.61/313.77	c cleaning 11948 clauses out of 23900 with flag 26924/1208409
493.01/314.91	c cleaning 9469 clauses out of 18952 with flag 42126/1215409
495.41/316.18	c cleaning 8734 clauses out of 17481 with flag 59681/1223407
498.41/317.60	c cleaning 8872 clauses out of 17748 with flag 80412/1232408
500.61/318.77	c And the winner is solver0
504.01/322.02	c Got one! Elapsed wall clock time (in seconds):321.898
504.01/322.02	o 364
505.59/322.86	c cleaning 11160 clauses out of 22319 with flag 12808/1245851
507.19/323.62	c cleaning 8573 clauses out of 17161 with flag 25665/1251853
509.00/324.51	c cleaning 7784 clauses out of 15585 with flag 40771/1258850
511.20/325.63	c cleaning 7898 clauses out of 15801 with flag 58254/1266850
513.60/326.87	c cleaning 8449 clauses out of 16904 with flag 78639/1275851
516.59/328.30	c cleaning 9225 clauses out of 18456 with flag 100306/1285852
519.39/329.79	c cleaning 10110 clauses out of 20229 with flag 124179/1296850
523.19/331.63	c cleaning 11059 clauses out of 22119 with flag 150705/1308850
527.19/333.64	c cleaning 12028 clauses out of 24061 with flag 180683/1321851
531.20/335.69	c cleaning 13010 clauses out of 26032 with flag 211126/1335850
535.60/337.84	c cleaning 14011 clauses out of 28022 with flag 243004/1350850
540.99/340.50	c cleaning 15002 clauses out of 30012 with flag 277921/1366851
546.40/343.27	c cleaning 16005 clauses out of 32009 with flag 314733/1383850
552.78/346.50	c cleaning 17000 clauses out of 34005 with flag 354926/1401851
560.18/350.15	c cleaning 18003 clauses out of 36005 with flag 397692/1420851
568.18/354.14	c cleaning 18998 clauses out of 38001 with flag 442319/1440850
575.98/358.06	c cleaning 19999 clauses out of 40004 with flag 488141/1461851
584.98/362.59	c cleaning 21001 clauses out of 42004 with flag 537370/1483850
595.05/367.58	c cleaning 22002 clauses out of 44004 with flag 588211/1506851
605.04/372.59	c cleaning 22996 clauses out of 46001 with flag 641252/1530850
615.63/377.83	c cleaning 23999 clauses out of 48006 with flag 696551/1555851
627.44/383.77	c cleaning 25002 clauses out of 50006 with flag 755936/1581850
639.44/389.78	c cleaning 25998 clauses out of 52005 with flag 815979/1608851
651.84/395.96	c cleaning 27001 clauses out of 54008 with flag 878026/1636852
656.24/398.11	c And the winner is solver0
730.12/471.94	c Got one! Elapsed wall clock time (in seconds):471.825
730.12/471.94	o 362
732.24/473.09	c cleaning 21492 clauses out of 43001 with flag 13465/1652846
734.64/474.22	c cleaning 13750 clauses out of 27509 with flag 29087/1658846
737.03/475.48	c cleaning 10373 clauses out of 20759 with flag 47151/1665846
739.82/476.88	c cleaning 9184 clauses out of 18386 with flag 66530/1673846
742.82/478.32	c cleaning 9094 clauses out of 18201 with flag 88474/1682845
745.82/479.87	c cleaning 9550 clauses out of 19108 with flag 111425/1692846
748.82/481.37	c cleaning 10279 clauses out of 20558 with flag 135215/1703846
752.42/483.18	c cleaning 11138 clauses out of 22279 with flag 161745/1715846
756.02/484.93	c cleaning 12070 clauses out of 24140 with flag 188977/1728845
760.22/487.02	c cleaning 13032 clauses out of 26070 with flag 219773/1742845
764.82/489.32	c cleaning 14020 clauses out of 28041 with flag 251754/1757848
770.22/492.02	c cleaning 15007 clauses out of 30020 with flag 287461/1773847
776.23/495.10	c cleaning 16004 clauses out of 32011 with flag 325809/1790845
782.62/498.30	c cleaning 16996 clauses out of 34007 with flag 366902/1808845
789.02/501.46	c cleaning 18003 clauses out of 36011 with flag 409636/1827845
795.42/504.64	c cleaning 19006 clauses out of 38011 with flag 455784/1847848
802.42/508.20	c cleaning 20001 clauses out of 40003 with flag 504798/1868846
810.82/512.34	c cleaning 21001 clauses out of 42001 with flag 555649/1890845
819.62/516.71	c cleaning 21993 clauses out of 44001 with flag 608182/1913846
828.22/521.08	c cleaning 23004 clauses out of 46009 with flag 661224/1937847
837.02/525.42	c cleaning 23996 clauses out of 48003 with flag 717597/1962845
846.42/530.18	c cleaning 24999 clauses out of 50009 with flag 775646/1988847
856.42/535.19	c cleaning 26000 clauses out of 52009 with flag 836257/2015846
866.44/540.17	c cleaning 27004 clauses out of 54008 with flag 897698/2043845
878.03/545.97	c cleaning 28003 clauses out of 56006 with flag 963078/2072847
883.83/548.83	c And the winner is solver0
934.49/599.44	c Got one! Elapsed wall clock time (in seconds):599.321
934.49/599.44	o 357
937.09/600.73	c cleaning 24831 clauses out of 49669 with flag 12328/2094513
939.29/601.82	c cleaning 15414 clauses out of 30837 with flag 26325/2100512
941.29/602.90	c cleaning 11206 clauses out of 22422 with flag 41680/2107511
943.69/604.03	c cleaning 9604 clauses out of 19217 with flag 60358/2115512
945.89/605.12	c cleaning 9301 clauses out of 18613 with flag 79858/2124512
948.47/606.46	c cleaning 9650 clauses out of 19312 with flag 101457/2134512
951.47/607.94	c cleaning 10328 clauses out of 20661 with flag 125571/2145511
954.87/609.66	c cleaning 11161 clauses out of 22334 with flag 152830/2157512
958.47/611.44	c cleaning 12084 clauses out of 24172 with flag 183326/2170511
961.87/613.15	c And the winner is solver0
1063.55/714.70	c Got one! Elapsed wall clock time (in seconds):714.587
1063.55/714.70	o 351
1065.56/715.71	c cleaning 14742 clauses out of 29489 with flag 12089/2187912
1067.16/716.56	c cleaning 10373 clauses out of 20747 with flag 26533/2193912
1068.96/717.44	c cleaning 8677 clauses out of 17373 with flag 41837/2200911
1070.98/718.46	c cleaning 8348 clauses out of 16696 with flag 59500/2208911
1073.56/719.71	c cleaning 8668 clauses out of 17349 with flag 79622/2217912
1076.16/721.04	c cleaning 9334 clauses out of 18680 with flag 101174/2227911
1079.16/722.55	c cleaning 10170 clauses out of 20346 with flag 125566/2238911
1082.56/724.21	c cleaning 11086 clauses out of 22177 with flag 151013/2250912
1086.37/726.13	c cleaning 12042 clauses out of 24091 with flag 179141/2263912
1090.77/728.38	c cleaning 13022 clauses out of 26048 with flag 208510/2277911
1096.16/731.01	c cleaning 14014 clauses out of 28027 with flag 239888/2292912
1101.96/733.93	c cleaning 15006 clauses out of 30012 with flag 274368/2308911
1107.36/736.60	c cleaning 15998 clauses out of 32007 with flag 311705/2325912
1113.36/739.64	c cleaning 17004 clauses out of 34008 with flag 350752/2343911
1119.76/742.85	c cleaning 17998 clauses out of 36004 with flag 392927/2362911
1126.36/746.10	c cleaning 18996 clauses out of 38006 with flag 437014/2382911
1132.76/749.37	c cleaning 19996 clauses out of 40010 with flag 481788/2403911
1132.96/749.46	c And the winner is solver0
1167.54/783.96	c Got one! Elapsed wall clock time (in seconds):783.847
1167.54/783.96	o 350
1168.86/784.64	c And the winner is solver0
1171.92/787.67	c Got one! Elapsed wall clock time (in seconds):787.554
1171.92/787.67	o 349
1173.10/788.34	c cleaning 13236 clauses out of 26475 with flag 4898/2410372
1174.89/789.29	c cleaning 9616 clauses out of 19238 with flag 18710/2416371
1176.89/790.23	c cleaning 8303 clauses out of 16622 with flag 34091/2423371
1178.89/791.25	c cleaning 8158 clauses out of 16320 with flag 52399/2431372
1181.49/792.52	c cleaning 8572 clauses out of 17163 with flag 73909/2440373
1181.69/792.65	c And the winner is solver0
1246.26/857.18	c Got one! Elapsed wall clock time (in seconds):857.059
1246.26/857.18	o 348
1247.36/857.80	c cleaning 6895 clauses out of 13802 with flag 10227/2445584
1249.36/858.70	c cleaning 6446 clauses out of 12909 with flag 25389/2451586
1251.36/859.76	c cleaning 6727 clauses out of 13460 with flag 41462/2458583
1253.76/860.94	c cleaning 7365 clauses out of 14734 with flag 60020/2466584
1256.36/862.22	c cleaning 8184 clauses out of 16368 with flag 79771/2475583
1258.97/863.59	c cleaning 9089 clauses out of 18185 with flag 102785/2485584
1261.96/865.05	c cleaning 10046 clauses out of 20096 with flag 126534/2496584
1265.16/866.67	c cleaning 11025 clauses out of 22050 with flag 152130/2508584
1268.95/868.58	c cleaning 12013 clauses out of 24025 with flag 181493/2521584
1273.55/870.87	c cleaning 13002 clauses out of 26011 with flag 213100/2535583
1278.55/873.39	c cleaning 14001 clauses out of 28010 with flag 245583/2550584
1284.15/876.16	c cleaning 14999 clauses out of 30008 with flag 280603/2566583
1289.97/879.02	c cleaning 16001 clauses out of 32010 with flag 319144/2583584
1295.55/881.80	c cleaning 17003 clauses out of 34009 with flag 358358/2601584
1301.95/885.09	c cleaning 17995 clauses out of 36006 with flag 400233/2620584
1309.15/888.69	c cleaning 19004 clauses out of 38011 with flag 445099/2640584
1316.95/892.51	c cleaning 20001 clauses out of 40006 with flag 490453/2661583
1324.76/896.49	c cleaning 21001 clauses out of 42005 with flag 540196/2683583
1333.36/900.79	c cleaning 22001 clauses out of 44005 with flag 591556/2706584
1342.77/905.49	c cleaning 23002 clauses out of 46003 with flag 644975/2730583
1352.96/910.51	c cleaning 24001 clauses out of 48002 with flag 703346/2755584
1359.36/913.79	c And the winner is solver0
1372.15/926.41	c Got one! Elapsed wall clock time (in seconds):926.29
1372.15/926.41	o 347
1374.73/927.75	c cleaning 23602 clauses out of 47210 with flag 13019/2778793
1376.73/928.71	c cleaning 14798 clauses out of 29607 with flag 26996/2784792
1378.93/929.83	c cleaning 10898 clauses out of 21809 with flag 44358/2791792
1381.33/931.04	c cleaning 9450 clauses out of 18911 with flag 62778/2799792
1383.73/932.25	c cleaning 9223 clauses out of 18461 with flag 83768/2808792
1386.33/933.59	c cleaning 9612 clauses out of 19238 with flag 105814/2818792
1389.13/934.99	c cleaning 10305 clauses out of 20626 with flag 130840/2829792
1392.94/936.86	c cleaning 11156 clauses out of 22321 with flag 159054/2841792
1397.34/939.09	c cleaning 12080 clauses out of 24165 with flag 186830/2854792
1402.34/941.53	c cleaning 13040 clauses out of 26085 with flag 218759/2868792
1407.54/944.17	c cleaning 14022 clauses out of 28046 with flag 253109/2883793
1413.55/947.12	c cleaning 15009 clauses out of 30023 with flag 290520/2899792
1419.94/950.40	c cleaning 16008 clauses out of 32016 with flag 331419/2916794
1426.75/953.78	c cleaning 16997 clauses out of 34006 with flag 372422/2934792
1433.73/957.25	c cleaning 18002 clauses out of 36011 with flag 414116/2953794
1440.53/960.60	c cleaning 18997 clauses out of 38007 with flag 460444/2973792
1446.74/963.72	c cleaning 20005 clauses out of 40011 with flag 506481/2994793
1453.52/967.16	c cleaning 21002 clauses out of 42005 with flag 553968/3016792
1461.52/971.11	c cleaning 22000 clauses out of 44004 with flag 604328/3039793
1469.72/975.27	c cleaning 22999 clauses out of 46004 with flag 657477/3063793
1478.12/979.41	c cleaning 23998 clauses out of 48008 with flag 711867/3088796
1487.52/984.17	c cleaning 25003 clauses out of 50007 with flag 768180/3114793
1497.52/989.13	c cleaning 25999 clauses out of 52003 with flag 827366/3141792
1507.52/994.16	c cleaning 27003 clauses out of 54005 with flag 888199/3169793
1519.91/1000.39	c cleaning 28001 clauses out of 56002 with flag 950392/3198793
1532.54/1006.66	c cleaning 28996 clauses out of 58000 with flag 1017113/3228792
1546.12/1013.44	c cleaning 29996 clauses out of 60004 with flag 1084574/3259792
1558.74/1019.72	c cleaning 30997 clauses out of 62008 with flag 1154650/3291792
1572.52/1026.64	c cleaning 32005 clauses out of 64011 with flag 1225763/3324792
1587.72/1034.28	c cleaning 33000 clauses out of 66006 with flag 1297761/3358792
1593.12/1036.95	c And the winner is solver0
1603.90/1047.69	c Got one! Elapsed wall clock time (in seconds):1047.576
1603.90/1047.69	o 345
1606.44/1048.94	c cleaning 26540 clauses out of 53098 with flag 11488/3378884
1608.43/1049.96	c cleaning 16279 clauses out of 32561 with flag 24943/3384887
1610.63/1051.00	c cleaning 11635 clauses out of 23279 with flag 39360/3391884
1612.63/1052.06	c cleaning 9815 clauses out of 19644 with flag 56509/3399884
1615.03/1053.28	c cleaning 9406 clauses out of 18830 with flag 76203/3408885
1617.83/1054.60	c cleaning 9707 clauses out of 19423 with flag 97502/3418884
1620.65/1056.07	c cleaning 10352 clauses out of 20718 with flag 121340/3429886
1623.83/1057.66	c cleaning 11180 clauses out of 22365 with flag 148368/3441885
1627.63/1059.53	c cleaning 12089 clauses out of 24185 with flag 179081/3454885
1631.84/1061.67	c cleaning 13048 clauses out of 26095 with flag 211941/3468884
1636.63/1064.09	c cleaning 14021 clauses out of 28048 with flag 246704/3483885
1642.50/1067.00	c cleaning 15010 clauses out of 30026 with flag 284519/3499884
1649.10/1070.25	c cleaning 16005 clauses out of 32017 with flag 325731/3516885
1655.70/1073.53	c cleaning 17004 clauses out of 34012 with flag 368560/3534885
1662.90/1077.11	c cleaning 17998 clauses out of 36007 with flag 414574/3553884
1669.50/1080.47	c cleaning 19002 clauses out of 38009 with flag 458762/3573884
1677.70/1084.54	c cleaning 20002 clauses out of 40009 with flag 503220/3594886
1685.70/1088.58	c cleaning 21004 clauses out of 42007 with flag 554760/3616886
1694.50/1092.97	c cleaning 21998 clauses out of 44001 with flag 608617/3639884
1704.10/1097.78	c cleaning 23000 clauses out of 46005 with flag 662314/3663886
1713.31/1102.36	c cleaning 23998 clauses out of 48003 with flag 716431/3688884
1723.69/1107.55	c cleaning 24999 clauses out of 50005 with flag 772349/3714884
1734.35/1112.86	c cleaning 26003 clauses out of 52006 with flag 832039/3741884
1744.55/1117.93	c cleaning 26996 clauses out of 54004 with flag 897537/3769885
1755.55/1123.43	c cleaning 28001 clauses out of 56007 with flag 962289/3798884
1768.60/1129.95	c cleaning 29000 clauses out of 58008 with flag 1026171/3828886
1781.80/1136.53	c cleaning 30000 clauses out of 60007 with flag 1093319/3859885
1796.20/1143.79	c cleaning 30998 clauses out of 62006 with flag 1163593/3891884
1800.00/1145.60	c >>>>>>>>>> Solver number 0 (69 answers) <<<<<<<<<<<<<<<<<<
1800.00/1145.60	c starts		: 2228
1800.00/1145.60	c conflicts		: 3900818
1800.00/1145.60	c decisions		: 4084019
1800.00/1145.60	c propagations		: 163652665
1800.00/1145.60	c inspects		: 5521617568
1800.00/1145.60	c shortcuts		: 0
1800.00/1145.60	c learnt literals	: 0
1800.00/1145.60	c learnt binary clauses	: 0
1800.00/1145.60	c learnt ternary clauses	: 1545
1800.00/1145.60	c learnt constraints	: 3900818
1800.00/1145.60	c ignored constraints	: 0
1800.00/1145.60	c root simplifications	: 0
1800.00/1145.60	c removed literals (reason simplification)	: 326210346
1800.00/1145.60	c reason swapping (by a shorter reason)	: 0
1800.00/1145.60	c Calls to reduceDB	: 267
1800.00/1145.60	c Number of update (reduction) of LBD	: 11306
1800.00/1145.60	c Imported unit clauses	: 0
1800.00/1145.60	c number of reductions to clauses (during analyze)	: 0
1800.00/1145.60	c number of learned constraints concerned by reduction	: 0
1800.00/1145.60	c number of learning phase by resolution	: 0
1800.00/1145.60	c number of learning phase by cutting planes	: 0
1800.00/1145.60	c speed (assignments/second)	: 144864.98077792954
1800.00/1145.60	c non guided choices	0
1800.00/1145.62	c learnt constraints type 
1800.00/1145.62	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 39942
1800.00/1145.62	c >>>>>>>>>> Solver number 1 (1 answers) <<<<<<<<<<<<<<<<<<
1800.00/1145.62	c starts		: 71
1800.00/1145.62	c conflicts		: 757
1800.00/1145.62	c decisions		: 4957
1800.00/1145.62	c propagations		: 78164
1800.00/1145.62	c inspects		: 13693267
1800.00/1145.62	c shortcuts		: 0
1800.00/1145.62	c learnt literals	: 0
1800.00/1145.62	c learnt binary clauses	: 0
1800.00/1145.62	c learnt ternary clauses	: 0
1800.00/1145.62	c learnt constraints	: 701
1800.00/1145.62	c ignored constraints	: 0
1800.00/1145.62	c root simplifications	: 0
1800.00/1145.62	c removed literals (reason simplification)	: 0
1800.00/1145.62	c reason swapping (by a shorter reason)	: 0
1800.00/1145.62	c Calls to reduceDB	: 0
1800.00/1145.62	c Number of update (reduction) of LBD	: 0
1800.00/1145.62	c Imported unit clauses	: 0
1800.00/1145.62	c number of reductions to clauses (during analyze)	: 0
1800.00/1145.62	c number of learned constraints concerned by reduction	: 0
1800.00/1145.62	c number of learning phase by resolution	: 0
1800.00/1145.62	c number of learning phase by cutting planes	: 0
1800.00/1145.62	c speed (assignments/second)	: 798.210857399616
1800.00/1145.62	c non guided choices	0
1800.00/1145.62	c learnt constraints type 
1800.00/1145.62	c org.sat4j.pb.constraints.pb.LearntHTClausePB => 1
1800.00/1145.62	c org.sat4j.pb.constraints.pb.MaxWatchPb => 700
1800.00/1145.62	s SATISFIABLE
1800.00/1145.62	c Found 70 solution(s)
1800.00/1145.62	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 x170 x171 x172 -x173 -x174 x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 x183 x184 -x185 -x186 -x187 -x188 -x189 x190 x191 x192 -x193 x194 x195 x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 x217 -x218 x219 x220 x221 -x222 -x223 x224 x225 -x226 -x227 -x228 x229 x230 -x231 x232 x233 x234 -x235 x236 -x237 -x238 -x239 -x240 -x241 x242 -x243 -x244 -x245 x246 x247 x248 x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 x268 x269 x270 -x271 x272 x273 x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 x308 -x309 -x310 -x311 x312 x313 x314 -x315 x316 x317 x318 x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 x337 x338 -x339 x340 -x341 x342 -x343 x344 x345 x346 -x347 -x348 -x349 -x350 x351 x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 x390 -x391 x392 -x393 x394 x395 x396 -x397 x398 -x399 x400 x401 x402 x403 -x404 x405 x406 -x407 x408 x409 -x410 -x411 -x412 -x413 -x414 x415 x416 x417 x418 x419 -x420 -x421 x422 -x423 -x424 x425 -x426 -x427 -x428 -x429 -x430 -x431 x432 x433 x434 x435 x436 -x437 x438 x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 x460 x461 x462 x463 -x464 -x465 x466 -x467 -x468 x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 x479 -x480 -x481 -x482 x483 -x484 -x485 x486 x487 x488 x489 -x490 x491 x492 -x493 x494 x495 -x496 -x497 -x498 -x499 -x500 x501 x502 x503 x504 x505 x506 -x507 -x508 -x509 -x510 x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 x536 x537 -x538 x539 x540 x541 -x542 x543 x544 -x545 -x546 -x547 -x548 -x549 -x550 x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 x626 x627 x628 x629 x630 -x631 x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 x651 -x652 -x653 -x654 -x655 -x656 x657 x658 -x659 -x660 -x661 -x662 x663 -x664 -x665 -x666 x667 -x668 -x669 -x670 x671 -x672 x673 x674 x675 x676 x677 x678 x679 x680 -x681 -x682 -x683 x684 -x685 -x686 -x687 x688 -x689 -x690 -x691 -x692 -x693 -x694 x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 x760 x761 x762 -x763 -x764 -x765 x766 -x767 -x768 -x769 -x770 -x771 -x772 x773 -x774 -x775 x776 x777 x778 -x779 -x780 x781 x782 -x783 -x784 x785 x786 -x787 -x788 x789 x790 -x791 -x792 -x793 x794 x795 x796 x797 -x798 -x799 x800 x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 x811 x812 -x813 -x814 x815 -x816 x817 -x818 -x819 -x820 -x821 -x822 x823 -x824 x825 x826 x827 x828 x829 x830 x831 x832 x833 x834 -x835 -x836 -x837 x838 -x839 x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 
1800.00/1145.62	c objective function=345
1800.00/1145.62	c Total wall clock time (in seconds): 1145.506

Verifier Data 

OK	345

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-4118260-1467224636/watcher-4118260-1467224636 -o /tmp/evaluation-result-4118260-1467224636/solver-4118260-1467224636 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node137-1467212962-6646 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4118260-1467224636.opb 

pid=11366
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: 4.73 4.51 4.27 4/197 11369
/proc/meminfo: memFree=26243620/32872528 swapFree=1499084/1695308
[pid=11369] ppid=11366 vsize=9160 CPUtime=0 cores=0,2,4,6
/proc/11369/stat : 11369 (java) R 11366 11369 5962 0 -1 4202496 468 0 0 0 0 0 0 0 20 0 1 0 3414836 9379840 123 33554432000 1073741824 1073778376 140735610680000 140735610677128 225448071648 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/11369/statm: 2290 127 98 9 0 38 0

[startup+0.10006 s]
/proc/loadavg: 4.73 4.51 4.27 4/197 11369
/proc/meminfo: memFree=26243620/32872528 swapFree=1499084/1695308
[pid=11369] ppid=11366 vsize=9558476 CPUtime=0.09 cores=0,2,4,6
/proc/11369/stat : 11369 (java) S 11366 11369 5962 0 -1 4202496 4396 0 1 0 8 1 0 0 20 0 18 0 3414836 9787879424 6037 33554432000 1073741824 1073778376 140735610680000 140735610671136 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11369/statm: 2389619 6037 2126 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476

[startup+0.200221 s]
/proc/loadavg: 4.73 4.51 4.27 4/197 11369
/proc/meminfo: memFree=26243620/32872528 swapFree=1499084/1695308
[pid=11369] ppid=11366 vsize=9558476 CPUtime=0.24 cores=0,2,4,6
/proc/11369/stat : 11369 (java) S 11366 11369 5962 0 -1 4202496 4679 0 1 0 23 1 0 0 20 0 18 0 3414836 9787879424 6751 33554432000 1073741824 1073778376 140735610680000 140735610671136 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11369/statm: 2389619 6751 2203 9 0 2380296 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 9558476

[startup+0.300227 s]
/proc/loadavg: 4.73 4.51 4.27 4/197 11369
/proc/meminfo: memFree=26243620/32872528 swapFree=1499084/1695308
[pid=11369] ppid=11366 vsize=9558476 CPUtime=0.47 cores=0,2,4,6
/proc/11369/stat : 11369 (java) S 11366 11369 5962 0 -1 4202496 5444 0 1 0 45 2 0 0 20 0 18 0 3414836 9787879424 8869 33554432000 1073741824 1073778376 140735610680000 140735610671136 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11369/statm: 2389619 8869 2232 9 0 2380296 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 9558476

[startup+0.700207 s]
/proc/loadavg: 4.73 4.51 4.27 4/197 11369
/proc/meminfo: memFree=26243620/32872528 swapFree=1499084/1695308
[pid=11369] ppid=11366 vsize=9824732 CPUtime=0.61 cores=0,2,4,6
/proc/11369/stat : 11369 (java) S 11366 11369 5962 0 -1 4202496 5929 0 1 0 57 4 0 0 20 0 19 0 3414836 10060525568 10119 33554432000 1073741824 1073778376 140735610680000 140735610671136 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11369/statm: 2456183 10119 2250 9 0 2446860 0
Current children cumulated CPU time (s) 0.61
Current children cumulated vsize (KiB) 9824732

[startup+1.50075 s]
/proc/loadavg: 4.73 4.51 4.27 4/216 11394
/proc/meminfo: memFree=26207296/32872528 swapFree=1499084/1695308
[pid=11369] ppid=11366 vsize=9824732 CPUtime=1.06 cores=0,2,4,6
/proc/11369/stat : 11369 (java) S 11366 11369 5962 0 -1 4202496 14910 0 1 0 98 8 0 0 20 0 20 0 3414836 10060525568 17654 33554432000 1073741824 1073778376 140735610680000 140735610671136 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11369/statm: 2456183 17654 2250 9 0 2446860 0
[pid=11369/tid=11371] ppid=11366 vsize=9824732 CPUtime=0.31 cores=0,2,4,6
/proc/11369/task/11371/stat : 11371 (java) S 11366 11369 5962 0 -1 4202560 2429 0 1 0 29 2 0 0 20 0 20 0 3414837 10060525568 17654 33554432000 1073741824 1073778376 140735610680000 139813507486584 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11369/tid=11372] ppid=11366 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11369/task/11372/stat : 11372 (java) S 11366 11369 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 3414838 10060525568 17654 33554432000 1073741824 1073778376 140735610680000 139813468978088 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11369/tid=11373] ppid=11366 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11369/task/11373/stat : 11373 (java) S 11366 11369 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 3414838 10060525568 17654 33554432000 1073741824 1073778376 140735610680000 139813467925544 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11369/tid=11374] ppid=11366 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11369/task/11374/stat : 11374 (java) S 11366 11369 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 3414838 10060525568 17654 33554432000 1073741824 1073778376 140735610680000 139813348960936 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11369/tid=11375] ppid=11366 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11369/task/11375/stat : 11375 (java) S 11366 11369 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 3414838 10060525568 17654 33554432000 1073741824 1073778376 140735610680000 139813347908392 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11369/tid=11376] ppid=11366 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11369/task/11376/stat : 11376 (java) S 11366 11369 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 3414838 10060525568 17654 33554432000 1073741824 1073778376 140735610680000 139813346855336 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11369/tid=11377] ppid=11366 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11369/task/11377/stat : 11377 (java) S 11366 11369 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 3414838 10060525568 17654 33554432000 1073741824 1073778376 140735610680000 139813345802792 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11369/tid=11378] ppid=11366 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11369/task/11378/stat : 11378 (java) S 11366 11369 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 3414838 10060525568 17654 33554432000 1073741824 1073778376 140735610680000 139813344749736 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11369/tid=11379] ppid=11366 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11369/task/11379/stat : 11379 (java) S 11366 11369 5962 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 3414838 10060525568 17654 33554432000 1073741824 1073778376 140735610680000 139813343697192 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11369/tid=11380] ppid=11366 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11369/task/11380/stat : 11380 (java) S 11366 11369 5962 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 20 0 3414839 10060525568 17654 33554432000 1073741824 1073778376 140735610680000 139812861369192 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11369/tid=11381] ppid=11366 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11369/task/11381/stat : 11381 (java) S 11366 11369 5962 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 20 0 3414840 10060525568 17654 33554432000 1073741824 1073778376 140735610680000 139812860315512 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11369/tid=11382] ppid=11366 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11369/task/11382/stat : 11382 (java) S 11366 11369 5962 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 3414840 10060525568 17654 33554432000 1073741824 1073778376 140735610680000 139812859262344 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11369/tid=11383] ppid=11366 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11369/task/11383/stat : 11383 (java) S 11366 11369 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 3414842 10060525568 17654 33554432000 1073741824 1073778376 140735610680000 139812858211088 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11369/tid=11384] ppid=11366 vsize=9824732 CPUtime=0.3 cores=0,2,4,6
/proc/11369/task/11384/stat : 11384 (java) R 11366 11369 5962 0 -1 4202560 5250 0 0 0 29 1 0 0 20 0 20 0 3414842 10060525568 17654 33554432000 1073741824 1073778376 140735610680000 139812857145696 139813510072860 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=11369/tid=11385] ppid=11366 vsize=9824732 CPUtime=0.31 cores=0,2,4,6
/proc/11369/task/11385/stat : 11385 (java) R 11366 11369 5962 0 -1 4202560 5878 0 0 0 31 0 0 0 20 0 20 0 3414842 10060525568 17654 33554432000 1073741824 1073778376 140735610680000 139812856082664 139813511603576 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=11369/tid=11386] ppid=11366 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11369/task/11386/stat : 11386 (java) S 11366 11369 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 3414842 10060525568 17654 33554432000 1073741824 1073778376 140735610680000 139812855052536 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11369/tid=11387] ppid=11366 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11369/task/11387/stat : 11387 (java) S 11366 11369 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 3414842 10060525568 17654 33554432000 1073741824 1073778376 140735610680000 139812854000200 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11369/tid=11391] ppid=11366 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11369/task/11391/stat : 11391 (java) S 11366 11369 5962 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 3414869 10060525568 17654 33554432000 1073741824 1073778376 140735610680000 139812849788328 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.06
Current children cumulated vsize (KiB) 9824732

[startup+3.10087 s]
/proc/loadavg: 4.73 4.51 4.27 4/216 11399
/proc/meminfo: memFree=26176936/32872528 swapFree=1499084/1695308
[pid=11369] ppid=11366 vsize=9824732 CPUtime=2.17 cores=0,2,4,6
/proc/11369/stat : 11369 (java) S 11366 11369 5962 0 -1 4202496 15644 0 1 0 203 14 0 0 20 0 19 0 3414836 10060525568 23698 33554432000 1073741824 1073778376 140735610680000 140735610671136 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11369/statm: 2456183 23698 2262 9 0 2446860 0
[pid=11369/tid=11371] ppid=11366 vsize=9824732 CPUtime=0.32 cores=0,2,4,6
/proc/11369/task/11371/stat : 11371 (java) S 11366 11369 5962 0 -1 4202560 2430 0 1 0 30 2 0 0 20 0 19 0 3414837 10060525568 23698 33554432000 1073741824 1073778376 140735610680000 139813507486584 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11369/tid=11372] ppid=11366 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11369/task/11372/stat : 11372 (java) S 11366 11369 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3414838 10060525568 23698 33554432000 1073741824 1073778376 140735610680000 139813468978088 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11369/tid=11373] ppid=11366 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11369/task/11373/stat : 11373 (java) S 11366 11369 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3414838 10060525568 23698 33554432000 1073741824 1073778376 140735610680000 139813467925544 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11369/tid=11374] ppid=11366 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11369/task/11374/stat : 11374 (java) S 11366 11369 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3414838 10060525568 23698 33554432000 1073741824 1073778376 140735610680000 139813348960936 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11369/tid=11375] ppid=11366 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11369/task/11375/stat : 11375 (java) S 11366 11369 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3414838 10060525568 23698 33554432000 1073741824 1073778376 140735610680000 139813347908392 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11369/tid=11376] ppid=11366 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11369/task/11376/stat : 11376 (java) S 11366 11369 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3414838 10060525568 23698 33554432000 1073741824 1073778376 140735610680000 139813346855336 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11369/tid=11377] ppid=11366 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11369/task/11377/stat : 11377 (java) S 11366 11369 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3414838 10060525568 23698 33554432000 1073741824 1073778376 140735610680000 139813345802792 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11369/tid=11378] ppid=11366 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11369/task/11378/stat : 11378 (java) S 11366 11369 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3414838 10060525568 23698 33554432000 1073741824 1073778376 140735610680000 139813344749736 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11369/tid=11379] ppid=11366 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11369/task/11379/stat : 11379 (java) S 11366 11369 5962 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 3414838 10060525568 23698 33554432000 1073741824 1073778376 140735610680000 139813343697192 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11369/tid=11380] ppid=11366 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11369/task/11380/stat : 11380 (java) S 11366 11369 5962 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 3414839 10060525568 23698 33554432000 1073741824 1073778376 140735610680000 139812861369192 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11369/tid=11381] ppid=11366 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11369/task/11381/stat : 11381 (java) S 11366 11369 5962 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 3414840 10060525568 23698 33554432000 1073741824 1073778376 140735610680000 139812860315512 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11369/tid=11382] ppid=11366 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11369/task/11382/stat : 11382 (java) S 11366 11369 5962 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 3414840 10060525568 23698 33554432000 1073741824 1073778376 140735610680000 139812859262344 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11369/tid=11383] ppid=11366 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11369/task/11383/stat : 11383 (java) S 11366 11369 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3414842 10060525568 23698 33554432000 1073741824 1073778376 140735610680000 139812858211088 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11369/tid=11384] ppid=11366 vsize=9824732 CPUtime=0.53 cores=0,2,4,6
/proc/11369/task/11384/stat : 11384 (java) S 11366 11369 5962 0 -1 4202560 5299 0 0 0 51 2 0 0 20 0 19 0 3414842 10060525568 23698 33554432000 1073741824 1073778376 140735610680000 139812857157944 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11369/tid=11385] ppid=11366 vsize=9824732 CPUtime=0.7 cores=0,2,4,6
/proc/11369/task/11385/stat : 11385 (java) S 11366 11369 5962 0 -1 4202560 6533 0 0 0 70 0 0 0 20 0 19 0 3414842 10060525568 23698 33554432000 1073741824 1073778376 140735610680000 139812856105400 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11369/tid=11386] ppid=11366 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11369/task/11386/stat : 11386 (java) S 11366 11369 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3414842 10060525568 23698 33554432000 1073741824 1073778376 140735610680000 139812855052536 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11369/tid=11387] ppid=11366 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11369/task/11387/stat : 11387 (java) S 11366 11369 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3414842 10060525568 23698 33554432000 1073741824 1073778376 140735610680000 139812854000200 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11369/tid=11391] ppid=11366 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11369/task/11391/stat : 11391 (java) S 11366 11369 5962 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 3414869 10060525568 23698 33554432000 1073741824 1073778376 140735610680000 139812849788328 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 2.17
Current children cumulated vsize (KiB) 9824732
heavy processes:
  %CPU=32 pid=1811 uid=0 cmd=

[startup+6.30084 s]
/proc/loadavg: 4.59 4.49 4.26 4/216 11420
/proc/meminfo: memFree=26115776/32872528 swapFree=1499084/1695308
[pid=11369] ppid=11366 vsize=9824732 CPUtime=3.19 cores=0,2,4,6
/proc/11369/stat : 11369 (java) S 11366 11369 5962 0 -1 4202496 16830 0 1 0 296 23 0 0 20 0 19 0 3414836 10060525568 37886 33554432000 1073741824 1073778376 140735610680000 140735610671136 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11369/statm: 2456183 37886 2269 9 0 2446860 0
[pid=11369/tid=11371] ppid=11366 vsize=9824732 CPUtime=0.33 cores=0,2,4,6
/proc/11369/task/11371/stat : 11371 (java) S 11366 11369 5962 0 -1 4202560 2432 0 1 0 31 2 0 0 20 0 19 0 3414837 10060525568 37886 33554432000 1073741824 1073778376 140735610680000 139813507486584 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11369/tid=11372] ppid=11366 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11369/task/11372/stat : 11372 (java) S 11366 11369 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3414838 10060525568 37886 33554432000 1073741824 1073778376 140735610680000 139813468978088 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11369/tid=11373] ppid=11366 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11369/task/11373/stat : 11373 (java) S 11366 11369 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3414838 10060525568 37886 33554432000 1073741824 1073778376 140735610680000 139813467925544 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11369/tid=11374] ppid=11366 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11369/task/11374/stat : 11374 (java) S 11366 11369 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3414838 10060525568 37886 33554432000 1073741824 1073778376 140735610680000 139813348960936 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11369/tid=11375] ppid=11366 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11369/task/11375/stat : 11375 (java) S 11366 11369 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3414838 10060525568 37886 33554432000 1073741824 1073778376 140735610680000 139813347908392 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11369/tid=11376] ppid=11366 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11369/task/11376/stat : 11376 (java) S 11366 11369 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3414838 10060525568 37886 33554432000 1073741824 1073778376 140735610680000 139813346855336 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11369/tid=11377] ppid=11366 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11369/task/11377/stat : 11377 (java) S 11366 11369 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3414838 10060525568 37886 33554432000 1073741824 1073778376 140735610680000 139813345802792 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11369/tid=11378] ppid=11366 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11369/task/11378/stat : 11378 (java) S 11366 11369 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3414838 10060525568 37886 33554432000 1073741824 1073778376 140735610680000 139813344749736 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11369/tid=11379] ppid=11366 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11369/task/11379/stat : 11379 (java) S 11366 11369 5962 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 3414838 10060525568 37886 33554432000 1073741824 1073778376 140735610680000 139813343697192 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11369/tid=11380] ppid=11366 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11369/task/11380/stat : 11380 (java) S 11366 11369 5962 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 3414839 10060525568 37886 33554432000 1073741824 1073778376 140735610680000 139812861369192 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11369/tid=11381] ppid=11366 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11369/task/11381/stat : 11381 (java) S 11366 11369 5962 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 3414840 10060525568 37886 33554432000 1073741824 1073778376 140735610680000 139812860315512 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11369/tid=11382] ppid=11366 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11369/task/11382/stat : 11382 (java) S 11366 11369 5962 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 3414840 10060525568 37886 33554432000 1073741824 1073778376 140735610680000 139812859262344 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11369/tid=11383] ppid=11366 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11369/task/11383/stat : 11383 (java) S 11366 11369 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3414842 10060525568 37886 33554432000 1073741824 1073778376 140735610680000 139812858211088 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11369/tid=11384] ppid=11366 vsize=9824732 CPUtime=0.75 cores=0,2,4,6
/proc/11369/task/11384/stat : 11384 (java) S 11366 11369 5962 0 -1 4202560 6396 0 0 0 73 2 0 0 20 0 19 0 3414842 10060525568 37886 33554432000 1073741824 1073778376 140735610680000 139812857157944 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11369/tid=11385] ppid=11366 vsize=9824732 CPUtime=0.86 cores=0,2,4,6
/proc/11369/task/11385/stat : 11385 (java) S 11366 11369 5962 0 -1 4202560 6538 0 0 0 86 0 0 0 20 0 19 0 3414842 10060525568 37886 33554432000 1073741824 1073778376 140735610680000 139812856105400 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11369/tid=11386] ppid=11366 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11369/task/11386/stat : 11386 (java) S 11366 11369 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3414842 10060525568 37886 33554432000 1073741824 1073778376 140735610680000 139812855052536 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11369/tid=11387] ppid=11366 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11369/task/11387/stat : 11387 (java) S 11366 11369 5962 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 3414842 10060525568 37886 33554432000 1073741824 1073778376 140735610680000 139812854000200 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11369/tid=11391] ppid=11366 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11369/task/11391/stat : 11391 (java) S 11366 11369 5962 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 3414869 10060525568 37886 33554432000 1073741824 1073778376 140735610680000 139812849788328 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.19

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


[startup+1062.3 s]
/proc/loadavg: 4.05 3.98 3.99 5/219 11754
/proc/meminfo: memFree=21330600/32872528 swapFree=1499084/1695308
[pid=11369] ppid=11366 vsize=9824732 CPUtime=1633.23 cores=0,2,4,6
/proc/11369/stat : 11369 (java) S 11366 11369 5962 0 -1 4202496 26069 0 1 0 163032 291 0 0 20 0 22 0 3414836 10060525568 576506 33554432000 1073741824 1073778376 140735610680000 140735610671136 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11369/statm: 2456183 576506 2295 9 0 2446860 0
[pid=11369/tid=11371] ppid=11366 vsize=9824732 CPUtime=0.56 cores=0,2,4,6
/proc/11369/task/11371/stat : 11371 (java) S 11366 11369 5962 0 -1 4202560 2441 0 1 0 50 6 0 0 20 0 22 0 3414837 10060525568 576506 33554432000 1073741824 1073778376 140735610680000 139813507486616 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11369/tid=11372] ppid=11366 vsize=9824732 CPUtime=0.54 cores=0,2,4,6
/proc/11369/task/11372/stat : 11372 (java) S 11366 11369 5962 0 -1 4202560 483 0 0 0 40 14 0 0 20 0 22 0 3414838 10060525568 576506 33554432000 1073741824 1073778376 140735610680000 139813468978088 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11369/tid=11373] ppid=11366 vsize=9824732 CPUtime=0.36 cores=0,2,4,6
/proc/11369/task/11373/stat : 11373 (java) S 11366 11369 5962 0 -1 4202560 346 0 0 0 28 8 0 0 20 0 22 0 3414838 10060525568 576506 33554432000 1073741824 1073778376 140735610680000 139813467925544 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11369/tid=11374] ppid=11366 vsize=9824732 CPUtime=0.43 cores=0,2,4,6
/proc/11369/task/11374/stat : 11374 (java) S 11366 11369 5962 0 -1 4202560 419 0 0 0 31 12 0 0 20 0 22 0 3414838 10060525568 576506 33554432000 1073741824 1073778376 140735610680000 139813348960936 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11369/tid=11375] ppid=11366 vsize=9824732 CPUtime=0.49 cores=0,2,4,6
/proc/11369/task/11375/stat : 11375 (java) S 11366 11369 5962 0 -1 4202560 414 0 0 0 35 14 0 0 20 0 22 0 3414838 10060525568 576506 33554432000 1073741824 1073778376 140735610680000 139813347908392 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11369/tid=11376] ppid=11366 vsize=9824732 CPUtime=0.32 cores=0,2,4,6
/proc/11369/task/11376/stat : 11376 (java) S 11366 11369 5962 0 -1 4202560 591 0 0 0 22 10 0 0 20 0 22 0 3414838 10060525568 576506 33554432000 1073741824 1073778376 140735610680000 139813346855336 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11369/tid=11377] ppid=11366 vsize=9824732 CPUtime=0.46 cores=0,2,4,6
/proc/11369/task/11377/stat : 11377 (java) S 11366 11369 5962 0 -1 4202560 331 0 0 0 31 15 0 0 20 0 22 0 3414838 10060525568 576506 33554432000 1073741824 1073778376 140735610680000 139813345802792 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11369/tid=11378] ppid=11366 vsize=9824732 CPUtime=0.37 cores=0,2,4,6
/proc/11369/task/11378/stat : 11378 (java) S 11366 11369 5962 0 -1 4202560 884 0 0 0 25 12 0 0 20 0 22 0 3414838 10060525568 576506 33554432000 1073741824 1073778376 140735610680000 139813344749736 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11369/tid=11379] ppid=11366 vsize=9824732 CPUtime=0.35 cores=0,2,4,6
/proc/11369/task/11379/stat : 11379 (java) S 11366 11369 5962 0 -1 4202560 495 0 0 0 24 11 0 0 20 0 22 0 3414838 10060525568 576506 33554432000 1073741824 1073778376 140735610680000 139813343697192 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11369/tid=11380] ppid=11366 vsize=9824732 CPUtime=0.58 cores=0,2,4,6
/proc/11369/task/11380/stat : 11380 (java) S 11366 11369 5962 0 -1 4202560 1156 0 0 0 50 8 0 0 20 0 22 0 3414839 10060525568 576506 33554432000 1073741824 1073778376 140735610680000 139812861369192 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11369/tid=11381] ppid=11366 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11369/task/11381/stat : 11381 (java) S 11366 11369 5962 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 3414840 10060525568 576506 33554432000 1073741824 1073778376 140735610680000 139812860315512 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11369/tid=11382] ppid=11366 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11369/task/11382/stat : 11382 (java) S 11366 11369 5962 0 -1 4202560 53 0 0 0 0 0 0 0 20 0 22 0 3414840 10060525568 576506 33554432000 1073741824 1073778376 140735610680000 139812859262344 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11369/tid=11383] ppid=11366 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11369/task/11383/stat : 11383 (java) S 11366 11369 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 3414842 10060525568 576506 33554432000 1073741824 1073778376 140735610680000 139812858211088 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11369/tid=11384] ppid=11366 vsize=9824732 CPUtime=1.25 cores=0,2,4,6
/proc/11369/task/11384/stat : 11384 (java) S 11366 11369 5962 0 -1 4202560 6684 0 0 0 123 2 0 0 20 0 22 0 3414842 10060525568 576506 33554432000 1073741824 1073778376 140735610680000 139812857157944 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11369/tid=11385] ppid=11366 vsize=9824732 CPUtime=1.29 cores=0,2,4,6
/proc/11369/task/11385/stat : 11385 (java) S 11366 11369 5962 0 -1 4202560 8890 0 0 0 127 2 0 0 20 0 22 0 3414842 10060525568 576506 33554432000 1073741824 1073778376 140735610680000 139812856105400 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11369/tid=11386] ppid=11366 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11369/task/11386/stat : 11386 (java) S 11366 11369 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 3414842 10060525568 576506 33554432000 1073741824 1073778376 140735610680000 139812855052536 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11369/tid=11387] ppid=11366 vsize=9824732 CPUtime=0.2 cores=0,2,4,6
/proc/11369/task/11387/stat : 11387 (java) S 11366 11369 5962 0 -1 4202560 61 0 0 0 8 12 0 0 20 0 22 0 3414842 10060525568 576506 33554432000 1073741824 1073778376 140735610680000 139812854000200 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11369/tid=11474] ppid=11366 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11369/task/11474/stat : 11474 (java) S 11366 11369 5962 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 3416428 10060525568 576506 33554432000 1073741824 1073778376 140735610680000 139812852945704 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11369/tid=11752] ppid=11366 vsize=9824732 CPUtime=14.59 cores=0,2,4,6
/proc/11369/task/11752/stat : 11752 (java) R 11366 11369 5962 0 -1 4202560 3 0 0 0 1459 0 0 0 20 0 22 0 3519606 10060525568 576506 33554432000 1073741824 1073778376 140735610680000 139812851884176 139813349546430 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=11369/tid=11753] ppid=11366 vsize=9824732 CPUtime=14.59 cores=0,2,4,6
/proc/11369/task/11753/stat : 11753 (java) R 11366 11369 5962 0 -1 4202560 2 0 0 0 1459 0 0 0 20 0 22 0 3519606 10060525568 576506 33554432000 1073741824 1073778376 140735610680000 139812849786104 139813350203192 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=11369/tid=11754] ppid=11366 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11369/task/11754/stat : 11754 (java) S 11366 11369 5962 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 3519606 10060525568 576506 33554432000 1073741824 1073778376 140735610680000 139812850840648 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1633.23
Current children cumulated vsize (KiB) 9824732

[startup+1122.3 s]
/proc/loadavg: 3.49 3.81 3.93 5/219 12046
/proc/meminfo: memFree=25561596/32872528 swapFree=1499084/1695308
[pid=11369] ppid=11366 vsize=9824732 CPUtime=1753.35 cores=0,2,4,6
/proc/11369/stat : 11369 (java) S 11366 11369 5962 0 -1 4202496 26128 0 1 0 175043 292 0 0 20 0 22 0 3414836 10060525568 542603 33554432000 1073741824 1073778376 140735610680000 140735610671136 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11369/statm: 2456183 542603 2295 9 0 2446860 0
[pid=11369/tid=11371] ppid=11366 vsize=9824732 CPUtime=0.56 cores=0,2,4,6
/proc/11369/task/11371/stat : 11371 (java) S 11366 11369 5962 0 -1 4202560 2441 0 1 0 50 6 0 0 20 0 22 0 3414837 10060525568 542603 33554432000 1073741824 1073778376 140735610680000 139813507486616 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11369/tid=11372] ppid=11366 vsize=9824732 CPUtime=0.57 cores=0,2,4,6
/proc/11369/task/11372/stat : 11372 (java) S 11366 11369 5962 0 -1 4202560 488 0 0 0 43 14 0 0 20 0 22 0 3414838 10060525568 542603 33554432000 1073741824 1073778376 140735610680000 139813468978088 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11369/tid=11373] ppid=11366 vsize=9824732 CPUtime=0.44 cores=0,2,4,6
/proc/11369/task/11373/stat : 11373 (java) S 11366 11369 5962 0 -1 4202560 361 0 0 0 35 9 0 0 20 0 22 0 3414838 10060525568 542603 33554432000 1073741824 1073778376 140735610680000 139813467925544 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11369/tid=11374] ppid=11366 vsize=9824732 CPUtime=0.47 cores=0,2,4,6
/proc/11369/task/11374/stat : 11374 (java) S 11366 11369 5962 0 -1 4202560 426 0 0 0 35 12 0 0 20 0 22 0 3414838 10060525568 542603 33554432000 1073741824 1073778376 140735610680000 139813348960936 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11369/tid=11375] ppid=11366 vsize=9824732 CPUtime=0.52 cores=0,2,4,6
/proc/11369/task/11375/stat : 11375 (java) S 11366 11369 5962 0 -1 4202560 414 0 0 0 38 14 0 0 20 0 22 0 3414838 10060525568 542603 33554432000 1073741824 1073778376 140735610680000 139813347908392 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11369/tid=11376] ppid=11366 vsize=9824732 CPUtime=0.34 cores=0,2,4,6
/proc/11369/task/11376/stat : 11376 (java) S 11366 11369 5962 0 -1 4202560 601 0 0 0 24 10 0 0 20 0 22 0 3414838 10060525568 542603 33554432000 1073741824 1073778376 140735610680000 139813346855336 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11369/tid=11377] ppid=11366 vsize=9824732 CPUtime=0.49 cores=0,2,4,6
/proc/11369/task/11377/stat : 11377 (java) S 11366 11369 5962 0 -1 4202560 343 0 0 0 34 15 0 0 20 0 22 0 3414838 10060525568 542603 33554432000 1073741824 1073778376 140735610680000 139813345802792 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11369/tid=11378] ppid=11366 vsize=9824732 CPUtime=0.4 cores=0,2,4,6
/proc/11369/task/11378/stat : 11378 (java) S 11366 11369 5962 0 -1 4202560 886 0 0 0 28 12 0 0 20 0 22 0 3414838 10060525568 542603 33554432000 1073741824 1073778376 140735610680000 139813344749736 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11369/tid=11379] ppid=11366 vsize=9824732 CPUtime=0.38 cores=0,2,4,6
/proc/11369/task/11379/stat : 11379 (java) S 11366 11369 5962 0 -1 4202560 495 0 0 0 27 11 0 0 20 0 22 0 3414838 10060525568 542603 33554432000 1073741824 1073778376 140735610680000 139813343697192 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11369/tid=11380] ppid=11366 vsize=9824732 CPUtime=0.59 cores=0,2,4,6
/proc/11369/task/11380/stat : 11380 (java) S 11366 11369 5962 0 -1 4202560 1158 0 0 0 50 9 0 0 20 0 22 0 3414839 10060525568 542603 33554432000 1073741824 1073778376 140735610680000 139812861369192 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11369/tid=11381] ppid=11366 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11369/task/11381/stat : 11381 (java) S 11366 11369 5962 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 3414840 10060525568 542603 33554432000 1073741824 1073778376 140735610680000 139812860315512 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11369/tid=11382] ppid=11366 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11369/task/11382/stat : 11382 (java) S 11366 11369 5962 0 -1 4202560 53 0 0 0 0 0 0 0 20 0 22 0 3414840 10060525568 542603 33554432000 1073741824 1073778376 140735610680000 139812859262344 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11369/tid=11383] ppid=11366 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11369/task/11383/stat : 11383 (java) S 11366 11369 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 3414842 10060525568 542603 33554432000 1073741824 1073778376 140735610680000 139812858211088 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11369/tid=11384] ppid=11366 vsize=9824732 CPUtime=1.25 cores=0,2,4,6
/proc/11369/task/11384/stat : 11384 (java) S 11366 11369 5962 0 -1 4202560 6684 0 0 0 123 2 0 0 20 0 22 0 3414842 10060525568 542603 33554432000 1073741824 1073778376 140735610680000 139812857157944 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11369/tid=11385] ppid=11366 vsize=9824732 CPUtime=1.29 cores=0,2,4,6
/proc/11369/task/11385/stat : 11385 (java) S 11366 11369 5962 0 -1 4202560 8890 0 0 0 127 2 0 0 20 0 22 0 3414842 10060525568 542603 33554432000 1073741824 1073778376 140735610680000 139812856105400 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11369/tid=11386] ppid=11366 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11369/task/11386/stat : 11386 (java) S 11366 11369 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 3414842 10060525568 542603 33554432000 1073741824 1073778376 140735610680000 139812855052536 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11369/tid=11387] ppid=11366 vsize=9824732 CPUtime=0.22 cores=0,2,4,6
/proc/11369/task/11387/stat : 11387 (java) S 11366 11369 5962 0 -1 4202560 65 0 0 0 9 13 0 0 20 0 22 0 3414842 10060525568 542603 33554432000 1073741824 1073778376 140735610680000 139812854000200 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11369/tid=11474] ppid=11366 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11369/task/11474/stat : 11474 (java) S 11366 11369 5962 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 3416428 10060525568 542603 33554432000 1073741824 1073778376 140735610680000 139812852945704 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11369/tid=11752] ppid=11366 vsize=9824732 CPUtime=74.5 cores=0,2,4,6
/proc/11369/task/11752/stat : 11752 (java) R 11366 11369 5962 0 -1 4202560 4 0 0 0 7449 1 0 0 20 0 22 0 3519606 10060525568 542603 33554432000 1073741824 1073778376 140735610680000 139812851884176 139813349767457 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=11369/tid=11753] ppid=11366 vsize=9824732 CPUtime=74.52 cores=0,2,4,6
/proc/11369/task/11753/stat : 11753 (java) R 11366 11369 5962 0 -1 4202560 3 0 0 0 7451 1 0 0 20 0 22 0 3519606 10060525568 542603 33554432000 1073741824 1073778376 140735610680000 139812849786496 139813350234895 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=11369/tid=11754] ppid=11366 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11369/task/11754/stat : 11754 (java) S 11366 11369 5962 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 3519606 10060525568 542603 33554432000 1073741824 1073778376 140735610680000 139812850840648 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1753.35
Current children cumulated vsize (KiB) 9824732



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1145.6 s]
/proc/loadavg: 3.38 3.76 3.91 5/219 12119
/proc/meminfo: memFree=25344212/32872528 swapFree=1499084/1695308
[pid=11369] ppid=11366 vsize=9824732 CPUtime=1800 cores=0,2,4,6
/proc/11369/stat : 11369 (java) S 11366 11369 5962 0 -1 4202496 26151 0 1 0 179708 292 0 0 20 0 22 0 3414836 10060525568 530631 33554432000 1073741824 1073778376 140735610680000 140735610671136 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11369/statm: 2456183 530631 2295 9 0 2446860 0
[pid=11369/tid=11371] ppid=11366 vsize=9824732 CPUtime=0.56 cores=0,2,4,6
/proc/11369/task/11371/stat : 11371 (java) S 11366 11369 5962 0 -1 4202560 2441 0 1 0 50 6 0 0 20 0 22 0 3414837 10060525568 530631 33554432000 1073741824 1073778376 140735610680000 139813507486616 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11369/tid=11372] ppid=11366 vsize=9824732 CPUtime=0.58 cores=0,2,4,6
/proc/11369/task/11372/stat : 11372 (java) S 11366 11369 5962 0 -1 4202560 502 0 0 0 44 14 0 0 20 0 22 0 3414838 10060525568 530631 33554432000 1073741824 1073778376 140735610680000 139813468978088 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11369/tid=11373] ppid=11366 vsize=9824732 CPUtime=0.45 cores=0,2,4,6
/proc/11369/task/11373/stat : 11373 (java) S 11366 11369 5962 0 -1 4202560 361 0 0 0 36 9 0 0 20 0 22 0 3414838 10060525568 530631 33554432000 1073741824 1073778376 140735610680000 139813467925544 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11369/tid=11374] ppid=11366 vsize=9824732 CPUtime=0.5 cores=0,2,4,6
/proc/11369/task/11374/stat : 11374 (java) S 11366 11369 5962 0 -1 4202560 429 0 0 0 38 12 0 0 20 0 22 0 3414838 10060525568 530631 33554432000 1073741824 1073778376 140735610680000 139813348960936 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11369/tid=11375] ppid=11366 vsize=9824732 CPUtime=0.53 cores=0,2,4,6
/proc/11369/task/11375/stat : 11375 (java) S 11366 11369 5962 0 -1 4202560 414 0 0 0 39 14 0 0 20 0 22 0 3414838 10060525568 530631 33554432000 1073741824 1073778376 140735610680000 139813347908392 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11369/tid=11376] ppid=11366 vsize=9824732 CPUtime=0.36 cores=0,2,4,6
/proc/11369/task/11376/stat : 11376 (java) S 11366 11369 5962 0 -1 4202560 601 0 0 0 26 10 0 0 20 0 22 0 3414838 10060525568 530631 33554432000 1073741824 1073778376 140735610680000 139813346855336 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11369/tid=11377] ppid=11366 vsize=9824732 CPUtime=0.51 cores=0,2,4,6
/proc/11369/task/11377/stat : 11377 (java) S 11366 11369 5962 0 -1 4202560 346 0 0 0 36 15 0 0 20 0 22 0 3414838 10060525568 530631 33554432000 1073741824 1073778376 140735610680000 139813345802792 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11369/tid=11378] ppid=11366 vsize=9824732 CPUtime=0.41 cores=0,2,4,6
/proc/11369/task/11378/stat : 11378 (java) S 11366 11369 5962 0 -1 4202560 886 0 0 0 29 12 0 0 20 0 22 0 3414838 10060525568 530631 33554432000 1073741824 1073778376 140735610680000 139813344749736 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11369/tid=11379] ppid=11366 vsize=9824732 CPUtime=0.42 cores=0,2,4,6
/proc/11369/task/11379/stat : 11379 (java) S 11366 11369 5962 0 -1 4202560 495 0 0 0 31 11 0 0 20 0 22 0 3414838 10060525568 530631 33554432000 1073741824 1073778376 140735610680000 139813343697192 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11369/tid=11380] ppid=11366 vsize=9824732 CPUtime=0.59 cores=0,2,4,6
/proc/11369/task/11380/stat : 11380 (java) S 11366 11369 5962 0 -1 4202560 1158 0 0 0 50 9 0 0 20 0 22 0 3414839 10060525568 530631 33554432000 1073741824 1073778376 140735610680000 139812861369192 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11369/tid=11381] ppid=11366 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11369/task/11381/stat : 11381 (java) S 11366 11369 5962 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 3414840 10060525568 530631 33554432000 1073741824 1073778376 140735610680000 139812860315512 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11369/tid=11382] ppid=11366 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11369/task/11382/stat : 11382 (java) S 11366 11369 5962 0 -1 4202560 53 0 0 0 0 0 0 0 20 0 22 0 3414840 10060525568 530631 33554432000 1073741824 1073778376 140735610680000 139812859262344 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11369/tid=11383] ppid=11366 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11369/task/11383/stat : 11383 (java) S 11366 11369 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 3414842 10060525568 530631 33554432000 1073741824 1073778376 140735610680000 139812858211088 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11369/tid=11384] ppid=11366 vsize=9824732 CPUtime=1.25 cores=0,2,4,6
/proc/11369/task/11384/stat : 11384 (java) S 11366 11369 5962 0 -1 4202560 6684 0 0 0 123 2 0 0 20 0 22 0 3414842 10060525568 530631 33554432000 1073741824 1073778376 140735610680000 139812857157944 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11369/tid=11385] ppid=11366 vsize=9824732 CPUtime=1.29 cores=0,2,4,6
/proc/11369/task/11385/stat : 11385 (java) S 11366 11369 5962 0 -1 4202560 8890 0 0 0 127 2 0 0 20 0 22 0 3414842 10060525568 530631 33554432000 1073741824 1073778376 140735610680000 139812856105400 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11369/tid=11386] ppid=11366 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11369/task/11386/stat : 11386 (java) S 11366 11369 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 3414842 10060525568 530631 33554432000 1073741824 1073778376 140735610680000 139812855052536 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11369/tid=11387] ppid=11366 vsize=9824732 CPUtime=0.22 cores=0,2,4,6
/proc/11369/task/11387/stat : 11387 (java) S 11366 11369 5962 0 -1 4202560 67 0 0 0 9 13 0 0 20 0 22 0 3414842 10060525568 530631 33554432000 1073741824 1073778376 140735610680000 139812854000200 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11369/tid=11474] ppid=11366 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11369/task/11474/stat : 11474 (java) S 11366 11369 5962 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 3416428 10060525568 530631 33554432000 1073741824 1073778376 140735610680000 139812852945704 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11369/tid=11752] ppid=11366 vsize=9824732 CPUtime=97.76 cores=0,2,4,6
/proc/11369/task/11752/stat : 11752 (java) R 11366 11369 5962 0 -1 4202560 5 0 0 0 9775 1 0 0 20 0 22 0 3519606 10060525568 530631 33554432000 1073741824 1073778376 140735610680000 139812851884176 139813349632035 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=11369/tid=11753] ppid=11366 vsize=9824732 CPUtime=97.78 cores=0,2,4,6
/proc/11369/task/11753/stat : 11753 (java) R 11366 11369 5962 0 -1 4202560 3 0 0 0 9777 1 0 0 20 0 22 0 3519606 10060525568 530631 33554432000 1073741824 1073778376 140735610680000 139812849784672 139813350203207 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=11369/tid=11754] ppid=11366 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11369/task/11754/stat : 11754 (java) S 11366 11369 5962 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 3519606 10060525568 530631 33554432000 1073741824 1073778376 140735610680000 139812850840648 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 9824732

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 11369 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143
Real time (s): 1145.65
CPU time (s): 1800.3
CPU user time (s): 1797.13
CPU system time (s): 3.17152
CPU usage (%): 157.143
Max. virtual memory (cumulated for all children) (KiB): 9824732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.13
system time used= 3.17152
maximum resident set size= 2649052
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26194
page faults= 1
swaps= 0
block input operations= 0
block output operations= 976
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 37259
involuntary context switches= 8232

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.10092 second user time and 8.5457 second system time

The end

Launcher Data 

Begin job on node137 at 2016-06-29 20:23:56
IDJOB=4118260
IDBENCH=111474
IDSOLVER=2543
FILE ID=node137/4118260-1467224636
RUNJOBID= node137-1467212962-6646
PBS_JOBID= 19997573
Free space on /tmp= 71696 MiB

SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16
BENCH NAME= PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-edgecross10-050.lin.opb
COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4118260-1467224636/watcher-4118260-1467224636 -o /tmp/evaluation-result-4118260-1467224636/solver-4118260-1467224636 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node137-1467212962-6646 --watchdog 1960  java -jar sat4j-pb.jar Both HOME/instance-4118260-1467224636.opb

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

MD5SUM BENCH= 13f39ac7da8cb7567021ad7bbb224d86
RANDOM SEED=742168317

node137.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.265
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.53
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.265
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.265
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.53
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.265
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.265
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.265
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.265
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.54
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.265
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:        26244000 kB
Buffers:          101452 kB
Cached:          1788868 kB
SwapCached:            0 kB
Active:          2502076 kB
Inactive:        1684776 kB
Active(anon):    2299228 kB
Inactive(anon):        4 kB
Active(file):     202848 kB
Inactive(file):  1684772 kB
Unevictable:     1695308 kB
Mlocked:         1499084 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:               872 kB
Writeback:             0 kB
AnonPages:       3987620 kB
Mapped:            22244 kB
Shmem:               204 kB
Slab:             608484 kB
SReclaimable:      52720 kB
SUnreclaim:       555764 kB
KernelStack:        1808 kB
PageTables:        12104 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    4181808 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2420736 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= 71692 MiB
End job on node137 at 2016-06-29 20:43:02