Trace number 3710833

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 specific settings 2.3.2 snapshotSAT (TO)7 1800.05 1794.16

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_6_50_2.opb
MD5SUMb690996610ff381ef60353517fe5a0e9
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark5
Best CPU time to get the best result obtained on this benchmark1797.53
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 6
Optimality of the best value was proved NO
Number of variables146
Total number of constraints12
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints12
Minimum length of a constraint64
Maximum length of a constraint66
Number of terms in the objective function 96
Biggest coefficient in the objective function 128
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 3060
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 1293
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 4389
Number of bits of the biggest sum of numbers13
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.04/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.04/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.04/0.08	c See www.sat4j.org for details.
0.04/0.08	c This software uses some libraries from the Jakarta Commons project. See jakarta.apache.org for details.
0.04/0.08	c version 2.3.2.v20120418
0.04/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.04/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.04/0.08	c java.vm.version	19.1-b02
0.04/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.04/0.08	c sun.arch.data.model	64
0.04/0.08	c java.version		1.6.0_24
0.04/0.08	c os.name		Linux
0.04/0.08	c os.version		2.6.32-71.29.1.el6.x86_64
0.04/0.08	c os.arch		amd64
0.04/0.08	c Free memory 		501472288
0.04/0.08	c Max memory 		7480803328
0.04/0.08	c Total memory 		504102912
0.04/0.08	c Number of processors 	8
0.09/0.12	c read org.sat4j.minisat.orders.VarOrderHeap
0.09/0.12	c configuring ORDERS
0.09/0.12	c --- Begin Solver configuration ---
0.09/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2dcb25f1
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
0.09/0.12	c Expensive reason simplification
0.09/0.12	c Armin Biere (Picosat) restarts strategy
0.09/0.12	c Glucose learned constraints deletion strategy
0.09/0.12	c timeout=2147483s
0.09/0.12	c DB Simplification allowed=true
0.09/0.12	c Heuristics kept accross calls (keep the solver "hot")
0.09/0.12	c --- End Solver configuration ---
0.09/0.12	c solving HOME/instance-3710833-1338154086.opb
0.09/0.12	c reading problem ... 
0.09/0.16	c ... done. Wall clock time 0.038s.
0.09/0.16	c declared #vars     146
0.09/0.16	c #constraints  12
0.09/0.16	c constraints type 
0.09/0.16	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 12
0.09/0.16	c 12 constraints processed.
0.09/0.16	c SATISFIABLE
0.09/0.16	c OPTIMIZING...
0.09/0.16	c Got one! Elapsed wall clock time (in seconds):0.044
0.09/0.16	o 774
0.27/0.23	c Got one! Elapsed wall clock time (in seconds):0.11
0.27/0.23	o 759
0.27/0.23	c Got one! Elapsed wall clock time (in seconds):0.115
0.27/0.23	o 757
0.27/0.24	c Got one! Elapsed wall clock time (in seconds):0.119
0.27/0.24	o 754
0.27/0.24	c Got one! Elapsed wall clock time (in seconds):0.124
0.27/0.24	o 746
0.27/0.25	c Got one! Elapsed wall clock time (in seconds):0.128
0.27/0.25	o 632
0.27/0.25	c Got one! Elapsed wall clock time (in seconds):0.135
0.27/0.25	o 602
0.27/0.26	c Got one! Elapsed wall clock time (in seconds):0.139
0.27/0.26	o 596
0.27/0.26	c Got one! Elapsed wall clock time (in seconds):0.145
0.27/0.26	o 594
0.27/0.27	c Got one! Elapsed wall clock time (in seconds):0.154
0.27/0.27	o 562
0.27/0.28	c Got one! Elapsed wall clock time (in seconds):0.156
0.27/0.28	o 558
0.27/0.28	c Got one! Elapsed wall clock time (in seconds):0.159
0.27/0.28	o 548
0.27/0.28	c Got one! Elapsed wall clock time (in seconds):0.161
0.27/0.28	o 536
0.27/0.29	c Got one! Elapsed wall clock time (in seconds):0.174
0.27/0.29	o 534
0.52/0.30	c Got one! Elapsed wall clock time (in seconds):0.177
0.52/0.30	o 532
0.52/0.30	c Got one! Elapsed wall clock time (in seconds):0.179
0.52/0.30	o 524
0.52/0.30	c Got one! Elapsed wall clock time (in seconds):0.18
0.52/0.30	o 522
0.52/0.30	c Got one! Elapsed wall clock time (in seconds):0.182
0.52/0.30	o 518
0.52/0.30	c Got one! Elapsed wall clock time (in seconds):0.185
0.52/0.30	o 515
0.52/0.31	c Got one! Elapsed wall clock time (in seconds):0.19
0.52/0.31	o 513
0.52/0.31	c Got one! Elapsed wall clock time (in seconds):0.195
0.52/0.31	o 511
0.52/0.32	c Got one! Elapsed wall clock time (in seconds):0.198
0.52/0.32	o 509
0.52/0.32	c Got one! Elapsed wall clock time (in seconds):0.202
0.52/0.32	o 507
0.52/0.32	c Got one! Elapsed wall clock time (in seconds):0.204
0.52/0.32	o 505
0.52/0.33	c Got one! Elapsed wall clock time (in seconds):0.208
0.52/0.33	o 503
0.52/0.34	c Got one! Elapsed wall clock time (in seconds):0.224
0.52/0.34	o 501
0.52/0.35	c Got one! Elapsed wall clock time (in seconds):0.231
0.52/0.35	o 497
0.52/0.36	c Got one! Elapsed wall clock time (in seconds):0.238
0.52/0.36	o 495
0.52/0.36	c Got one! Elapsed wall clock time (in seconds):0.242
0.52/0.36	o 493
0.52/0.37	c Got one! Elapsed wall clock time (in seconds):0.247
0.52/0.37	o 491
0.52/0.37	c Got one! Elapsed wall clock time (in seconds):0.249
0.52/0.37	o 489
0.52/0.38	c Got one! Elapsed wall clock time (in seconds):0.265
0.52/0.38	o 488
0.52/0.39	c Got one! Elapsed wall clock time (in seconds):0.268
0.52/0.39	o 486
0.52/0.39	c Got one! Elapsed wall clock time (in seconds):0.273
0.52/0.39	o 485
0.52/0.39	c Got one! Elapsed wall clock time (in seconds):0.275
0.52/0.39	o 484
0.78/0.40	c Got one! Elapsed wall clock time (in seconds):0.277
0.78/0.40	o 482
0.78/0.40	c Got one! Elapsed wall clock time (in seconds):0.279
0.78/0.40	o 476
0.78/0.40	c Got one! Elapsed wall clock time (in seconds):0.283
0.78/0.40	o 474
0.78/0.40	c Got one! Elapsed wall clock time (in seconds):0.285
0.78/0.40	o 472
0.78/0.41	c Got one! Elapsed wall clock time (in seconds):0.286
0.78/0.41	o 470
0.78/0.41	c Got one! Elapsed wall clock time (in seconds):0.291
0.78/0.41	o 468
0.78/0.41	c Got one! Elapsed wall clock time (in seconds):0.292
0.78/0.41	o 466
0.78/0.41	c Got one! Elapsed wall clock time (in seconds):0.294
0.78/0.41	o 464
0.78/0.41	c Got one! Elapsed wall clock time (in seconds):0.295
0.78/0.41	o 460
0.78/0.42	c Got one! Elapsed wall clock time (in seconds):0.297
0.78/0.42	o 458
0.78/0.42	c Got one! Elapsed wall clock time (in seconds):0.303
0.78/0.42	o 457
0.78/0.42	c Got one! Elapsed wall clock time (in seconds):0.305
0.78/0.42	o 445
0.78/0.43	c Got one! Elapsed wall clock time (in seconds):0.308
0.78/0.43	o 443
0.78/0.43	c Got one! Elapsed wall clock time (in seconds):0.311
0.78/0.43	o 433
0.78/0.43	c Got one! Elapsed wall clock time (in seconds):0.314
0.78/0.43	o 401
0.78/0.43	c Got one! Elapsed wall clock time (in seconds):0.316
0.78/0.44	o 400
0.78/0.44	c Got one! Elapsed wall clock time (in seconds):0.319
0.78/0.44	o 398
0.78/0.44	c Got one! Elapsed wall clock time (in seconds):0.322
0.78/0.44	o 384
0.78/0.44	c Got one! Elapsed wall clock time (in seconds):0.325
0.78/0.44	o 382
0.78/0.45	c Got one! Elapsed wall clock time (in seconds):0.332
0.78/0.45	o 380
0.78/0.45	c Got one! Elapsed wall clock time (in seconds):0.333
0.78/0.45	o 378
0.78/0.45	c Got one! Elapsed wall clock time (in seconds):0.335
0.78/0.45	o 376
0.78/0.46	c Got one! Elapsed wall clock time (in seconds):0.337
0.78/0.46	o 374
0.78/0.46	c Got one! Elapsed wall clock time (in seconds):0.339
0.78/0.46	o 372
0.78/0.46	c Got one! Elapsed wall clock time (in seconds):0.34
0.78/0.46	o 370
0.78/0.46	c Got one! Elapsed wall clock time (in seconds):0.342
0.78/0.46	o 368
0.78/0.46	c Got one! Elapsed wall clock time (in seconds):0.344
0.78/0.46	o 364
0.78/0.46	c Got one! Elapsed wall clock time (in seconds):0.345
0.78/0.46	o 362
0.78/0.47	c Got one! Elapsed wall clock time (in seconds):0.347
0.78/0.47	o 360
0.78/0.47	c Got one! Elapsed wall clock time (in seconds):0.348
0.78/0.47	o 358
0.78/0.47	c Got one! Elapsed wall clock time (in seconds):0.352
0.78/0.47	o 356
0.78/0.47	c Got one! Elapsed wall clock time (in seconds):0.353
0.78/0.47	o 354
0.78/0.47	c Got one! Elapsed wall clock time (in seconds):0.355
0.78/0.47	o 352
0.78/0.47	c Got one! Elapsed wall clock time (in seconds):0.356
0.78/0.47	o 348
0.78/0.48	c Got one! Elapsed wall clock time (in seconds):0.362
0.78/0.48	o 347
0.78/0.48	c Got one! Elapsed wall clock time (in seconds):0.364
0.78/0.48	o 346
0.78/0.48	c Got one! Elapsed wall clock time (in seconds):0.366
0.78/0.48	o 344
0.78/0.49	c Got one! Elapsed wall clock time (in seconds):0.368
0.78/0.49	o 342
0.78/0.49	c Got one! Elapsed wall clock time (in seconds):0.37
0.78/0.49	o 340
0.78/0.49	c Got one! Elapsed wall clock time (in seconds):0.371
0.78/0.49	o 336
0.78/0.49	c Got one! Elapsed wall clock time (in seconds):0.373
0.78/0.49	o 332
0.78/0.49	c Got one! Elapsed wall clock time (in seconds):0.374
0.78/0.49	o 312
0.78/0.49	c Got one! Elapsed wall clock time (in seconds):0.376
0.78/0.49	o 302
1.05/0.50	c Got one! Elapsed wall clock time (in seconds):0.384
1.05/0.50	o 300
1.05/0.50	c Got one! Elapsed wall clock time (in seconds):0.385
1.05/0.50	o 278
1.05/0.51	c Got one! Elapsed wall clock time (in seconds):0.388
1.05/0.51	o 268
1.05/0.51	c Got one! Elapsed wall clock time (in seconds):0.393
1.05/0.51	o 266
1.05/0.52	c Got one! Elapsed wall clock time (in seconds):0.397
1.05/0.52	o 260
1.05/0.52	c Got one! Elapsed wall clock time (in seconds):0.402
1.05/0.52	o 258
1.05/0.52	c Got one! Elapsed wall clock time (in seconds):0.404
1.05/0.52	o 240
1.05/0.52	c Got one! Elapsed wall clock time (in seconds):0.406
1.05/0.52	o 232
1.05/0.53	c Got one! Elapsed wall clock time (in seconds):0.408
1.05/0.53	o 228
1.05/0.53	c Got one! Elapsed wall clock time (in seconds):0.41
1.05/0.53	o 226
1.05/0.53	c Got one! Elapsed wall clock time (in seconds):0.416
1.05/0.53	o 224
1.05/0.54	c Got one! Elapsed wall clock time (in seconds):0.421
1.05/0.54	o 223
1.05/0.54	c Got one! Elapsed wall clock time (in seconds):0.425
1.05/0.54	o 221
1.05/0.55	c Got one! Elapsed wall clock time (in seconds):0.435
1.05/0.55	o 219
1.05/0.56	c Got one! Elapsed wall clock time (in seconds):0.44
1.05/0.56	o 215
1.05/0.57	c Got one! Elapsed wall clock time (in seconds):0.447
1.05/0.57	o 213
1.05/0.57	c Got one! Elapsed wall clock time (in seconds):0.449
1.05/0.57	o 211
1.05/0.57	c Got one! Elapsed wall clock time (in seconds):0.454
1.05/0.57	o 209
1.05/0.58	c Got one! Elapsed wall clock time (in seconds):0.458
1.05/0.58	o 207
1.05/0.58	c Got one! Elapsed wall clock time (in seconds):0.463
1.05/0.58	o 205
1.05/0.58	c Got one! Elapsed wall clock time (in seconds):0.466
1.05/0.58	o 203
1.05/0.59	c Got one! Elapsed wall clock time (in seconds):0.471
1.05/0.59	o 181
1.19/0.60	c Got one! Elapsed wall clock time (in seconds):0.481
1.19/0.60	o 179
1.19/0.60	c Got one! Elapsed wall clock time (in seconds):0.483
1.19/0.60	o 175
1.19/0.60	c Got one! Elapsed wall clock time (in seconds):0.486
1.19/0.60	o 173
1.19/0.61	c Got one! Elapsed wall clock time (in seconds):0.488
1.19/0.61	o 171
1.19/0.61	c Got one! Elapsed wall clock time (in seconds):0.491
1.19/0.61	o 170
1.19/0.61	c Got one! Elapsed wall clock time (in seconds):0.493
1.19/0.61	o 168
1.19/0.62	c Got one! Elapsed wall clock time (in seconds):0.499
1.19/0.62	o 167
1.19/0.62	c Got one! Elapsed wall clock time (in seconds):0.504
1.19/0.62	o 165
1.19/0.63	c Got one! Elapsed wall clock time (in seconds):0.507
1.19/0.63	o 164
1.19/0.63	c Got one! Elapsed wall clock time (in seconds):0.51
1.19/0.63	o 162
1.19/0.64	c Got one! Elapsed wall clock time (in seconds):0.52
1.19/0.64	o 158
1.19/0.64	c Got one! Elapsed wall clock time (in seconds):0.522
1.19/0.64	o 156
1.19/0.64	c Got one! Elapsed wall clock time (in seconds):0.524
1.19/0.64	o 154
1.19/0.65	c Got one! Elapsed wall clock time (in seconds):0.526
1.19/0.65	o 152
1.19/0.65	c Got one! Elapsed wall clock time (in seconds):0.528
1.19/0.65	o 150
1.19/0.65	c Got one! Elapsed wall clock time (in seconds):0.53
1.19/0.65	o 148
1.19/0.65	c Got one! Elapsed wall clock time (in seconds):0.535
1.19/0.65	o 146
1.19/0.67	c Got one! Elapsed wall clock time (in seconds):0.549
1.19/0.67	o 144
1.19/0.67	c Got one! Elapsed wall clock time (in seconds):0.552
1.19/0.67	o 140
1.19/0.67	c Got one! Elapsed wall clock time (in seconds):0.555
1.19/0.67	o 138
1.19/0.68	c Got one! Elapsed wall clock time (in seconds):0.558
1.19/0.68	o 136
1.19/0.68	c Got one! Elapsed wall clock time (in seconds):0.559
1.19/0.68	o 134
1.19/0.69	c Got one! Elapsed wall clock time (in seconds):0.567
1.19/0.69	o 132
1.19/0.69	c Got one! Elapsed wall clock time (in seconds):0.572
1.19/0.69	o 128
1.19/0.70	c Got one! Elapsed wall clock time (in seconds):0.576
1.19/0.70	o 126
1.30/0.70	c Got one! Elapsed wall clock time (in seconds):0.58
1.30/0.70	o 124
1.30/0.70	c Got one! Elapsed wall clock time (in seconds):0.582
1.30/0.70	o 123
1.30/0.70	c Got one! Elapsed wall clock time (in seconds):0.585
1.30/0.70	o 119
1.30/0.70	c Got one! Elapsed wall clock time (in seconds):0.586
1.30/0.70	o 117
1.30/0.71	c Got one! Elapsed wall clock time (in seconds):0.589
1.30/0.71	o 115
1.30/0.72	c Got one! Elapsed wall clock time (in seconds):0.599
1.30/0.72	o 114
1.30/0.72	c Got one! Elapsed wall clock time (in seconds):0.603
1.30/0.72	o 112
1.30/0.73	c Got one! Elapsed wall clock time (in seconds):0.607
1.30/0.73	o 110
1.30/0.73	c Got one! Elapsed wall clock time (in seconds):0.609
1.30/0.73	o 108
1.30/0.73	c Got one! Elapsed wall clock time (in seconds):0.61
1.30/0.73	o 106
1.30/0.73	c Got one! Elapsed wall clock time (in seconds):0.613
1.30/0.73	o 102
1.30/0.74	c Got one! Elapsed wall clock time (in seconds):0.622
1.30/0.74	o 101
1.30/0.74	c Got one! Elapsed wall clock time (in seconds):0.623
1.30/0.74	o 99
1.30/0.74	c Got one! Elapsed wall clock time (in seconds):0.624
1.30/0.74	o 97
1.30/0.74	c Got one! Elapsed wall clock time (in seconds):0.626
1.30/0.74	o 95
1.30/0.75	c Got one! Elapsed wall clock time (in seconds):0.627
1.30/0.75	o 93
1.30/0.75	c Got one! Elapsed wall clock time (in seconds):0.629
1.30/0.75	o 91
1.30/0.75	c Got one! Elapsed wall clock time (in seconds):0.63
1.30/0.75	o 89
1.30/0.75	c Got one! Elapsed wall clock time (in seconds):0.632
1.30/0.75	o 87
1.30/0.75	c Got one! Elapsed wall clock time (in seconds):0.633
1.30/0.75	o 85
1.30/0.75	c Got one! Elapsed wall clock time (in seconds):0.635
1.30/0.75	o 83
1.30/0.75	c Got one! Elapsed wall clock time (in seconds):0.636
1.30/0.75	o 81
1.30/0.76	c Got one! Elapsed wall clock time (in seconds):0.638
1.30/0.76	o 79
1.30/0.76	c Got one! Elapsed wall clock time (in seconds):0.643
1.30/0.76	o 78
1.30/0.76	c Got one! Elapsed wall clock time (in seconds):0.645
1.30/0.76	o 76
1.30/0.77	c Got one! Elapsed wall clock time (in seconds):0.647
1.30/0.77	o 74
1.30/0.77	c Got one! Elapsed wall clock time (in seconds):0.648
1.30/0.77	o 72
1.30/0.77	c Got one! Elapsed wall clock time (in seconds):0.649
1.30/0.77	o 70
1.30/0.77	c Got one! Elapsed wall clock time (in seconds):0.651
1.30/0.77	o 68
1.30/0.77	c Got one! Elapsed wall clock time (in seconds):0.652
1.30/0.77	o 64
1.30/0.77	c Got one! Elapsed wall clock time (in seconds):0.655
1.30/0.77	o 62
1.30/0.77	c Got one! Elapsed wall clock time (in seconds):0.655
1.30/0.77	o 60
1.41/0.87	c Got one! Elapsed wall clock time (in seconds):0.75
1.41/0.87	o 59
1.41/0.87	c Got one! Elapsed wall clock time (in seconds):0.752
1.41/0.87	o 57
1.41/0.87	c Got one! Elapsed wall clock time (in seconds):0.754
1.41/0.87	o 55
1.41/0.89	c Got one! Elapsed wall clock time (in seconds):0.767
1.41/0.89	o 53
1.65/1.02	c Got one! Elapsed wall clock time (in seconds):0.897
1.65/1.02	o 51
1.65/1.02	c Got one! Elapsed wall clock time (in seconds):0.9
1.65/1.02	o 49
1.65/1.02	c Got one! Elapsed wall clock time (in seconds):0.902
1.65/1.02	o 47
1.65/1.02	c Got one! Elapsed wall clock time (in seconds):0.903
1.65/1.02	o 43
1.65/1.04	c Got one! Elapsed wall clock time (in seconds):0.924
1.65/1.04	o 41
1.76/1.11	c cleaning 4969 clauses out of 9937 with flag 1003/16537
1.76/1.13	c Got one! Elapsed wall clock time (in seconds):1.014
1.76/1.13	o 39
1.88/1.26	c Got one! Elapsed wall clock time (in seconds):1.141
1.88/1.26	o 37
1.88/1.26	c Got one! Elapsed wall clock time (in seconds):1.143
1.88/1.26	o 35
1.88/1.26	c Got one! Elapsed wall clock time (in seconds):1.145
1.88/1.26	o 33
1.88/1.27	c Got one! Elapsed wall clock time (in seconds):1.147
1.88/1.27	o 31
1.98/1.38	c cleaning 4690 clauses out of 9386 with flag 2003/21942
2.18/1.53	c Got one! Elapsed wall clock time (in seconds):1.415
2.18/1.53	o 29
2.18/1.54	c Got one! Elapsed wall clock time (in seconds):1.417
2.18/1.54	o 27
2.28/1.64	c cleaning 4982 clauses out of 9965 with flag 2002/27211
2.60/1.97	c cleaning 5490 clauses out of 10982 with flag 8001/33210
3.02/2.34	c cleaning 6246 clauses out of 12493 with flag 15002/40211
3.42/2.77	c cleaning 7123 clauses out of 14246 with flag 23001/48210
3.93/3.29	c cleaning 8060 clauses out of 16125 with flag 32003/57212
4.23/3.56	c Got one! Elapsed wall clock time (in seconds):3.443
4.23/3.56	o 26
4.23/3.57	c Got one! Elapsed wall clock time (in seconds):3.449
4.23/3.57	o 24
4.53/3.84	c cleaning 9419 clauses out of 18839 with flag 5000/67986
4.83/4.14	c cleaning 7710 clauses out of 15420 with flag 11000/73986
5.23/4.54	c cleaning 7355 clauses out of 14710 with flag 18000/80986
5.64/4.94	c cleaning 7670 clauses out of 15355 with flag 26000/88986
6.14/5.41	c cleaning 8343 clauses out of 16685 with flag 35000/97986
6.64/5.92	c Got one! Elapsed wall clock time (in seconds):5.804
6.64/5.92	o 23
6.64/5.93	c Got one! Elapsed wall clock time (in seconds):5.81
6.64/5.93	o 21
6.64/5.93	c Got one! Elapsed wall clock time (in seconds):5.814
6.64/5.93	o 19
6.64/5.94	c Got one! Elapsed wall clock time (in seconds):5.817
6.64/5.94	o 17
7.04/6.31	c cleaning 11359 clauses out of 22726 with flag 5001/112370
7.36/6.68	c cleaning 8683 clauses out of 17368 with flag 11002/118371
7.76/7.06	c cleaning 7840 clauses out of 15686 with flag 18003/125372
8.17/7.47	c cleaning 7920 clauses out of 15845 with flag 26002/133371
8.67/7.93	c cleaning 8464 clauses out of 16927 with flag 35004/142373
9.18/8.49	c cleaning 9226 clauses out of 18460 with flag 45001/152370
9.88/9.11	c cleaning 10114 clauses out of 20234 with flag 56001/163370
10.69/9.92	c cleaning 11059 clauses out of 22120 with flag 68001/175370
11.50/10.71	c cleaning 12021 clauses out of 24060 with flag 81000/188369
12.41/11.66	c cleaning 13020 clauses out of 26040 with flag 95001/202370
13.33/12.59	c cleaning 14006 clauses out of 28019 with flag 110000/217369
14.54/13.77	c cleaning 15003 clauses out of 30014 with flag 126001/233370
15.84/15.02	c cleaning 16003 clauses out of 32011 with flag 143001/250370
17.36/16.51	c cleaning 16998 clauses out of 34007 with flag 161000/268369
18.87/18.07	c cleaning 18003 clauses out of 36009 with flag 180000/287369
20.29/19.43	c cleaning 18996 clauses out of 38009 with flag 200003/307372
21.82/20.95	c cleaning 20001 clauses out of 40011 with flag 221001/328370
23.53/22.66	c cleaning 21005 clauses out of 42012 with flag 243003/350372
25.34/24.43	c cleaning 21999 clauses out of 44004 with flag 266000/373369
27.35/26.48	c cleaning 22997 clauses out of 46005 with flag 290000/397369
29.35/28.41	c cleaning 24004 clauses out of 48010 with flag 315002/422371
31.56/30.68	c cleaning 25000 clauses out of 50004 with flag 341000/448369
33.88/32.92	c cleaning 26001 clauses out of 52005 with flag 368001/475370
36.51/35.52	c cleaning 26996 clauses out of 54004 with flag 396001/503370
39.14/38.19	c cleaning 28000 clauses out of 56008 with flag 425001/532370
41.75/40.75	c cleaning 29001 clauses out of 58008 with flag 455001/562370
44.76/43.73	c cleaning 29998 clauses out of 60007 with flag 486001/593370
47.59/46.54	c cleaning 31004 clauses out of 62010 with flag 518002/625371
50.89/49.82	c cleaning 32000 clauses out of 64005 with flag 551001/658370
54.00/52.99	c cleaning 33002 clauses out of 66004 with flag 585000/692369
57.50/56.44	c cleaning 33996 clauses out of 68006 with flag 620004/727373
61.41/60.35	c cleaning 34998 clauses out of 70008 with flag 656002/763371
65.22/64.10	c cleaning 35999 clauses out of 72009 with flag 693001/800370
69.04/67.99	c cleaning 36994 clauses out of 74010 with flag 731001/838370
73.18/72.01	c cleaning 38008 clauses out of 76017 with flag 770002/877371
76.89/75.72	c cleaning 39000 clauses out of 78008 with flag 810001/917370
81.40/80.24	c cleaning 39996 clauses out of 80007 with flag 851000/958369
85.63/84.44	c cleaning 40997 clauses out of 82011 with flag 893000/1000369
90.46/89.21	c cleaning 42001 clauses out of 84014 with flag 936000/1043369
95.47/94.20	c cleaning 43002 clauses out of 86013 with flag 980000/1087369
100.98/99.79	c cleaning 44001 clauses out of 88012 with flag 1025001/1132370
106.80/105.59	c cleaning 45004 clauses out of 90010 with flag 1071000/1178369
112.91/111.62	c cleaning 46004 clauses out of 92007 with flag 1118001/1225370
118.83/117.51	c cleaning 47003 clauses out of 94006 with flag 1166004/1273373
125.04/123.77	c cleaning 47985 clauses out of 96000 with flag 1215001/1322370
132.16/130.83	c cleaning 49003 clauses out of 98014 with flag 1265000/1372369
133.76/132.42	c Got one! Elapsed wall clock time (in seconds):132.305
133.76/132.42	o 16
133.86/132.50	c Got one! Elapsed wall clock time (in seconds):132.38
133.86/132.50	o 14
133.86/132.52	c Got one! Elapsed wall clock time (in seconds):132.399
133.86/132.52	o 12
133.86/132.53	c Got one! Elapsed wall clock time (in seconds):132.416
133.86/132.53	o 10
134.76/133.46	c cleaning 36487 clauses out of 72977 with flag 5000/1398815
135.28/133.97	c cleaning 21234 clauses out of 42490 with flag 11000/1404815
135.79/134.45	c cleaning 14115 clauses out of 28256 with flag 18000/1411815
136.30/134.95	c cleaning 11072 clauses out of 22147 with flag 26006/1419821
136.82/135.45	c cleaning 10032 clauses out of 20070 with flag 35001/1428816
137.42/136.00	c cleaning 10008 clauses out of 20039 with flag 45002/1438817
138.04/136.66	c cleaning 10513 clauses out of 21029 with flag 56000/1449815
138.74/137.38	c cleaning 11254 clauses out of 22518 with flag 68002/1461817
139.65/138.23	c cleaning 12129 clauses out of 24263 with flag 81001/1474816
140.75/139.30	c cleaning 13067 clauses out of 26134 with flag 95001/1488816
141.95/140.51	c cleaning 14029 clauses out of 28066 with flag 110000/1503815
143.17/141.74	c cleaning 15022 clauses out of 30044 with flag 126007/1519822
144.58/143.10	c cleaning 16008 clauses out of 32017 with flag 143002/1536817
146.00/144.56	c cleaning 16997 clauses out of 34007 with flag 161000/1554815
147.51/146.00	c cleaning 18004 clauses out of 36010 with flag 180000/1573815
149.11/147.61	c cleaning 18997 clauses out of 38006 with flag 200000/1593815
150.94/149.50	c cleaning 20002 clauses out of 40010 with flag 221001/1614816
152.95/151.42	c cleaning 20996 clauses out of 42007 with flag 243000/1636815
154.89/153.31	c cleaning 22007 clauses out of 44015 with flag 266004/1659819
157.20/155.61	c cleaning 22992 clauses out of 46006 with flag 290002/1683817
159.32/157.77	c cleaning 24002 clauses out of 48012 with flag 315000/1708815
161.73/160.12	c cleaning 25002 clauses out of 50011 with flag 341001/1734816
164.15/162.56	c cleaning 26000 clauses out of 52010 with flag 368002/1761817
166.67/165.06	c cleaning 27003 clauses out of 54011 with flag 396003/1789818
169.37/167.74	c cleaning 28001 clauses out of 56007 with flag 425002/1818817
172.39/170.70	c cleaning 29000 clauses out of 58004 with flag 455000/1848815
175.79/174.13	c cleaning 29999 clauses out of 60005 with flag 486001/1879816
179.40/177.71	c cleaning 31001 clauses out of 62007 with flag 518002/1911817
183.26/181.52	c cleaning 32001 clauses out of 64006 with flag 551002/1944817
187.38/185.63	c cleaning 32996 clauses out of 66003 with flag 585000/1978815
191.48/189.72	c cleaning 33998 clauses out of 68007 with flag 620000/2013815
195.19/193.42	c cleaning 35003 clauses out of 70009 with flag 656000/2049815
199.01/197.21	c cleaning 35998 clauses out of 72006 with flag 693000/2086815
203.14/201.34	c cleaning 37000 clauses out of 74008 with flag 731000/2124815
207.55/205.79	c cleaning 38002 clauses out of 76008 with flag 770000/2163815
212.27/210.42	c cleaning 38997 clauses out of 78008 with flag 810002/2203817
217.19/215.31	c cleaning 39999 clauses out of 80009 with flag 851000/2244815
222.02/220.18	c cleaning 40999 clauses out of 82010 with flag 893000/2286815
227.58/225.64	c cleaning 42004 clauses out of 84012 with flag 936001/2329816
232.39/230.43	c cleaning 43000 clauses out of 86009 with flag 980002/2373817
237.41/235.43	c cleaning 44003 clauses out of 88007 with flag 1025000/2418815
242.84/240.87	c cleaning 44996 clauses out of 90005 with flag 1071001/2464816
248.35/246.32	c cleaning 46004 clauses out of 92009 with flag 1118001/2511816
254.55/252.59	c cleaning 46996 clauses out of 94004 with flag 1166000/2559815
260.89/258.83	c cleaning 48001 clauses out of 96012 with flag 1215004/2608819
267.40/265.34	c cleaning 48997 clauses out of 98008 with flag 1265001/2658816
275.14/273.04	c cleaning 50001 clauses out of 100011 with flag 1316001/2709816
283.56/281.46	c cleaning 51004 clauses out of 102010 with flag 1368001/2761816
291.59/289.47	c cleaning 51999 clauses out of 104007 with flag 1421002/2814817
298.51/296.35	c cleaning 52995 clauses out of 106008 with flag 1475002/2868817
305.32/303.10	c cleaning 54006 clauses out of 108014 with flag 1530003/2923818
312.25/310.04	c cleaning 54999 clauses out of 110005 with flag 1586000/2979815
318.46/316.30	c cleaning 56001 clauses out of 112009 with flag 1643003/3036818
325.28/323.06	c cleaning 57000 clauses out of 114006 with flag 1701001/3094816
331.40/329.11	c cleaning 57999 clauses out of 116005 with flag 1760000/3153815
338.31/336.06	c cleaning 59000 clauses out of 118007 with flag 1820001/3213816
345.34/343.03	c cleaning 59995 clauses out of 120007 with flag 1881001/3274816
352.56/350.29	c cleaning 61005 clauses out of 122012 with flag 1943001/3336816
360.39/358.08	c cleaning 62001 clauses out of 124007 with flag 2006001/3399816
367.21/364.85	c cleaning 63001 clauses out of 126007 with flag 2070002/3463817
374.14/371.76	c cleaning 64001 clauses out of 128006 with flag 2135002/3528817
381.64/379.25	c cleaning 64994 clauses out of 130003 with flag 2201000/3594815
389.47/387.09	c cleaning 66005 clauses out of 132011 with flag 2268002/3661817
398.00/395.57	c cleaning 67000 clauses out of 134004 with flag 2336000/3729815
407.62/405.14	c cleaning 67998 clauses out of 136004 with flag 2405000/3798815
417.15/414.68	c cleaning 68999 clauses out of 138008 with flag 2475002/3868817
427.15/424.65	c cleaning 70002 clauses out of 140008 with flag 2546001/3939816
436.18/433.69	c cleaning 70998 clauses out of 142006 with flag 2618001/4011816
445.81/443.26	c cleaning 72000 clauses out of 144007 with flag 2691000/4084815
454.82/452.28	c cleaning 72995 clauses out of 146009 with flag 2765002/4158817
463.62/461.07	c cleaning 74002 clauses out of 148012 with flag 2840000/4233815
473.15/470.58	c cleaning 75003 clauses out of 150010 with flag 2916000/4309815
484.57/481.96	c cleaning 76002 clauses out of 152007 with flag 2993000/4386815
495.70/493.04	c cleaning 77002 clauses out of 154007 with flag 3071002/4464817
509.33/506.66	c cleaning 77994 clauses out of 156003 with flag 3150000/4543815
521.94/519.25	c cleaning 79007 clauses out of 158015 with flag 3230006/4623821
534.87/532.19	c cleaning 80001 clauses out of 160005 with flag 3311003/4704818
547.48/544.79	c cleaning 80991 clauses out of 162002 with flag 3393001/4786816
558.93/556.10	c cleaning 82001 clauses out of 164010 with flag 3476000/4869815
569.55/566.78	c cleaning 83004 clauses out of 166009 with flag 3560000/4953815
583.57/580.80	c cleaning 83998 clauses out of 168006 with flag 3645001/5038816
597.91/595.06	c cleaning 85001 clauses out of 170007 with flag 3731000/5124815
609.25/606.37	c cleaning 85994 clauses out of 172006 with flag 3818000/5211815
621.29/618.33	c cleaning 87002 clauses out of 174013 with flag 3906001/5299816
634.11/631.19	c cleaning 87999 clauses out of 176011 with flag 3995001/5388816
648.16/645.10	c cleaning 89002 clauses out of 178011 with flag 4085000/5478815
663.30/660.22	c cleaning 90000 clauses out of 180012 with flag 4176003/5569818
678.13/675.01	c cleaning 91001 clauses out of 182009 with flag 4268000/5661815
695.25/692.15	c cleaning 91998 clauses out of 184011 with flag 4361003/5754818
711.82/708.61	c cleaning 93005 clauses out of 186013 with flag 4455003/5848818
730.07/726.88	c cleaning 94002 clauses out of 188006 with flag 4550001/5943816
749.05/745.70	c cleaning 94999 clauses out of 190005 with flag 4646002/6039817
763.77/760.49	c cleaning 95998 clauses out of 192004 with flag 4743000/6136815
780.82/777.44	c cleaning 97002 clauses out of 194007 with flag 4841001/6234816
795.98/792.57	c cleaning 97994 clauses out of 196004 with flag 4940000/6333815
814.33/810.81	c cleaning 99005 clauses out of 198016 with flag 5040006/6433821
832.21/828.66	c cleaning 99996 clauses out of 200005 with flag 5141000/6534815
851.96/848.34	c cleaning 101005 clauses out of 202009 with flag 5243000/6636815
875.01/871.40	c cleaning 102001 clauses out of 204009 with flag 5346005/6739820
897.84/894.11	c cleaning 102992 clauses out of 206005 with flag 5450002/6843817
919.76/916.01	c cleaning 104005 clauses out of 208013 with flag 5555002/6948817
944.82/941.09	c cleaning 105000 clauses out of 210006 with flag 5661000/7054815
965.94/962.14	c cleaning 106003 clauses out of 212007 with flag 5768001/7161816
987.90/984.04	c cleaning 106998 clauses out of 214004 with flag 5876001/7269816
1006.63/1002.73	c cleaning 107996 clauses out of 216006 with flag 5985001/7378816
1029.53/1025.61	c cleaning 109002 clauses out of 218011 with flag 6095002/7488817
1044.95/1041.09	c Got one! Elapsed wall clock time (in seconds):1040.972
1044.95/1041.09	o 9
1045.06/1041.18	c Got one! Elapsed wall clock time (in seconds):1041.057
1045.06/1041.18	o 7
1050.75/1046.81	c cleaning 106070 clauses out of 212152 with flag 5000/7592459
1052.31/1048.38	c cleaning 56039 clauses out of 112082 with flag 11000/7598459
1053.12/1049.14	c cleaning 31511 clauses out of 63044 with flag 18001/7605460
1053.83/1049.82	c cleaning 19760 clauses out of 39535 with flag 26003/7613462
1054.35/1050.40	c cleaning 14386 clauses out of 28773 with flag 35001/7622460
1054.96/1050.99	c cleaning 12187 clauses out of 24390 with flag 45004/7632463
1055.69/1051.67	c cleaning 11590 clauses out of 23200 with flag 56001/7643460
1056.51/1052.43	c cleaning 11799 clauses out of 23609 with flag 68000/7655459
1057.22/1053.17	c cleaning 12399 clauses out of 24811 with flag 81001/7668460
1058.03/1053.99	c cleaning 13205 clauses out of 26411 with flag 95000/7682459
1059.04/1054.98	c cleaning 14104 clauses out of 28208 with flag 110002/7697461
1060.16/1056.08	c cleaning 15051 clauses out of 30102 with flag 126000/7713459
1061.36/1057.26	c cleaning 16022 clauses out of 32051 with flag 143000/7730459
1062.68/1058.55	c cleaning 17013 clauses out of 34029 with flag 161000/7748459
1064.09/1059.95	c cleaning 18005 clauses out of 36017 with flag 180001/7767460
1065.51/1061.39	c cleaning 19004 clauses out of 38012 with flag 200001/7787460
1067.13/1062.94	c cleaning 20004 clauses out of 40007 with flag 221000/7808459
1069.06/1064.81	c cleaning 21001 clauses out of 42006 with flag 243003/7830462
1070.97/1066.77	c cleaning 21996 clauses out of 44002 with flag 266000/7853459
1073.18/1068.90	c cleaning 23000 clauses out of 46006 with flag 290000/7877459
1075.59/1071.36	c cleaning 23999 clauses out of 48007 with flag 315001/7902460
1078.00/1073.71	c cleaning 24999 clauses out of 50008 with flag 341001/7928460
1080.44/1076.19	c cleaning 26002 clauses out of 52010 with flag 368002/7955461
1083.14/1078.87	c cleaning 27001 clauses out of 54006 with flag 396000/7983459
1085.84/1081.54	c cleaning 27998 clauses out of 56005 with flag 425000/8012459
1088.64/1084.36	c cleaning 28998 clauses out of 58008 with flag 455001/8042460
1091.66/1087.38	c cleaning 30003 clauses out of 60009 with flag 486000/8073459
1095.17/1090.89	c cleaning 31004 clauses out of 62008 with flag 518002/8105461
1098.59/1094.24	c cleaning 32002 clauses out of 64003 with flag 551001/8138460
1102.50/1098.12	c cleaning 32996 clauses out of 66000 with flag 585000/8172459
1106.83/1102.46	c cleaning 33999 clauses out of 68004 with flag 620000/8207459
1110.73/1106.30	c cleaning 35000 clauses out of 70006 with flag 656001/8243460
1114.34/1109.94	c cleaning 36001 clauses out of 72007 with flag 693002/8280461
1118.34/1113.90	c cleaning 37000 clauses out of 74005 with flag 731001/8318460
1123.07/1118.63	c cleaning 37995 clauses out of 76004 with flag 770000/8357459
1127.38/1122.98	c cleaning 39001 clauses out of 78012 with flag 810003/8397462
1131.79/1127.32	c cleaning 39997 clauses out of 80008 with flag 851000/8438459
1136.21/1131.79	c cleaning 40998 clauses out of 82011 with flag 893000/8480459
1141.61/1137.12	c cleaning 42003 clauses out of 84017 with flag 936004/8523463
1147.12/1142.62	c cleaning 43000 clauses out of 86010 with flag 980000/8567459
1152.96/1148.44	c cleaning 44004 clauses out of 88014 with flag 1025004/8612463
1159.26/1154.71	c cleaning 44997 clauses out of 90006 with flag 1071000/8658459
1166.30/1161.73	c cleaning 46006 clauses out of 92011 with flag 1118002/8705461
1172.73/1168.14	c cleaning 47000 clauses out of 94006 with flag 1166003/8753462
1180.45/1175.88	c cleaning 48002 clauses out of 96003 with flag 1215000/8802459
1186.27/1181.69	c cleaning 48992 clauses out of 98001 with flag 1265000/8852459
1192.28/1187.66	c cleaning 50003 clauses out of 100009 with flag 1316000/8903459
1198.69/1194.08	c cleaning 51003 clauses out of 102006 with flag 1368000/8955459
1204.59/1199.99	c cleaning 51995 clauses out of 104003 with flag 1421000/9008459
1210.73/1206.08	c cleaning 52999 clauses out of 106008 with flag 1475000/9062459
1216.77/1212.01	c cleaning 54000 clauses out of 108011 with flag 1530002/9117461
1222.89/1218.10	c cleaning 55001 clauses out of 110010 with flag 1586001/9173460
1229.60/1224.81	c cleaning 55998 clauses out of 112009 with flag 1643001/9230460
1236.44/1231.60	c cleaning 57001 clauses out of 114012 with flag 1701002/9288461
1243.66/1238.85	c cleaning 58002 clauses out of 116010 with flag 1760001/9347460
1250.96/1246.19	c cleaning 59004 clauses out of 118008 with flag 1820001/9407460
1258.78/1254.00	c cleaning 60001 clauses out of 120005 with flag 1881002/9468461
1266.23/1261.30	c cleaning 60994 clauses out of 122003 with flag 1943001/9530460
1274.35/1269.49	c cleaning 61999 clauses out of 124008 with flag 2006000/9593459
1282.56/1277.61	c cleaning 63001 clauses out of 126009 with flag 2070000/9657459
1291.56/1286.62	c cleaning 64005 clauses out of 128009 with flag 2135001/9722460
1300.89/1295.96	c cleaning 65001 clauses out of 130003 with flag 2201000/9788459
1310.72/1305.70	c cleaning 65999 clauses out of 132002 with flag 2268000/9855459
1321.04/1316.01	c cleaning 66993 clauses out of 134003 with flag 2336000/9923459
1330.36/1325.37	c cleaning 68005 clauses out of 136011 with flag 2405001/9992460
1340.48/1335.45	c cleaning 69002 clauses out of 138005 with flag 2475000/10062459
1350.19/1345.16	c cleaning 69994 clauses out of 140004 with flag 2546001/10133460
1358.51/1353.47	c cleaning 70999 clauses out of 142009 with flag 2618000/10205459
1366.63/1361.58	c cleaning 71998 clauses out of 144010 with flag 2691000/10278459
1376.36/1371.27	c cleaning 73006 clauses out of 146012 with flag 2765000/10352459
1385.98/1380.85	c cleaning 73998 clauses out of 148006 with flag 2840000/10427459
1397.61/1392.45	c cleaning 75005 clauses out of 150010 with flag 2916002/10503461
1408.86/1403.64	c cleaning 75999 clauses out of 152004 with flag 2993001/10580460
1418.68/1413.49	c cleaning 77001 clauses out of 154004 with flag 3071000/10658459
1431.09/1425.82	c cleaning 78002 clauses out of 156006 with flag 3150003/10737462
1443.42/1438.14	c cleaning 79001 clauses out of 158001 with flag 3230000/10817459
1454.63/1449.38	c cleaning 79998 clauses out of 160002 with flag 3311002/10898461
1467.84/1462.57	c cleaning 81001 clauses out of 162005 with flag 3393003/10980462
1481.87/1476.53	c cleaning 81997 clauses out of 164001 with flag 3476000/11063459
1496.01/1490.67	c cleaning 83002 clauses out of 166006 with flag 3560002/11147461
1511.84/1506.41	c cleaning 84001 clauses out of 168006 with flag 3645004/11232463
1527.25/1521.86	c cleaning 84992 clauses out of 170001 with flag 3731000/11318459
1541.36/1535.96	c cleaning 86005 clauses out of 172009 with flag 3818000/11405459
1555.87/1550.42	c cleaning 86999 clauses out of 174007 with flag 3906003/11493462
1569.71/1564.29	c cleaning 88001 clauses out of 176005 with flag 3995000/11582459
1584.81/1579.30	c cleaning 88999 clauses out of 178006 with flag 4085002/11672461
1600.44/1594.91	c cleaning 89997 clauses out of 180007 with flag 4176002/11763461
1617.35/1611.88	c cleaning 90998 clauses out of 182008 with flag 4268000/11855459
1633.01/1627.46	c cleaning 91998 clauses out of 184011 with flag 4361001/11948460
1647.46/1641.84	c cleaning 93005 clauses out of 186014 with flag 4455002/12042461
1662.91/1657.22	c cleaning 93997 clauses out of 188008 with flag 4550001/12137460
1677.34/1671.65	c cleaning 95000 clauses out of 190010 with flag 4646000/12233459
1692.37/1686.60	c cleaning 96004 clauses out of 192012 with flag 4743002/12330461
1712.78/1707.05	c cleaning 96994 clauses out of 194006 with flag 4841000/12428459
1730.54/1724.80	c cleaning 98002 clauses out of 196014 with flag 4940002/12527461
1747.96/1742.10	c cleaning 99002 clauses out of 198014 with flag 5040004/12627463
1767.99/1762.13	c cleaning 100003 clauses out of 200008 with flag 5141000/12728459
1787.22/1781.34	c cleaning 100994 clauses out of 202005 with flag 5243000/12830459
1800.05/1794.12	c starts		: 509
1800.05/1794.12	c conflicts		: 12922881
1800.05/1794.12	c decisions		: 13120600
1800.05/1794.12	c propagations		: 98518283
1800.05/1794.12	c inspects		: 22910526992
1800.05/1794.12	c shortcuts		: 0
1800.05/1794.12	c learnt literals	: 0
1800.05/1794.12	c learnt binary clauses	: 0
1800.05/1794.12	c learnt ternary clauses	: 0
1800.05/1794.12	c learnt constraints	: 12922881
1800.05/1794.12	c ignored constraints	: 0
1800.05/1794.12	c root simplifications	: 509
1800.05/1794.12	c removed literals (reason simplification)	: 100673499
1800.05/1794.12	c reason swapping (by a shorter reason)	: 0
1800.05/1794.12	c Calls to reduceDB	: 262
1800.05/1794.12	c number of reductions to clauses (during analyze)	: 0
1800.05/1794.12	c number of learned constraints concerned by reduction	: 0
1800.05/1794.12	c number of learning phase by resolution	: 0
1800.05/1794.12	c number of learning phase by cutting planes	: 0
1800.05/1794.12	c speed (assignments/second)	: 54916.754972387855
1800.05/1794.12	c non guided choices	160
1800.05/1794.15	c learnt constraints type 
1800.05/1794.15	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 193552
1800.05/1794.15	c constraints type 
1800.05/1794.15	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 13
1800.05/1794.15	c 13 constraints processed.
1800.05/1794.15	s SATISFIABLE
1800.05/1794.15	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 
1800.05/1794.15	c objective function=7
1800.05/1794.15	c Total wall clock time (in seconds): 1794.03

Verifier Data 

OK	7

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3710833-1338154086/watcher-3710833-1338154086 -o /tmp/evaluation-result-3710833-1338154086/solver-3710833-1338154086 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3710833-1338154086.opb 

running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/194 4342
/proc/meminfo: memFree=28875068/32873648 swapFree=6844/6844
[pid=4342] ppid=4340 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/4342/stat : 4342 (java) D 4340 4342 3132 0 -1 4202496 250 0 0 0 0 0 0 0 20 0 1 0 281534422 9515008 183 33554432000 1073741824 1073778376 140736139100112 140736139091144 259112386229 0 0 4096 0 18446744072100588836 0 0 17 4 0 0 0 0 0
/proc/4342/statm: 2323 184 141 9 0 71 0

[startup+0.0693711 s]
/proc/loadavg: 2.00 2.00 2.00 3/194 4342
/proc/meminfo: memFree=28875068/32873648 swapFree=6844/6844
[pid=4342] ppid=4340 vsize=9558440 CPUtime=0.04 cores=0,2,4,6
/proc/4342/stat : 4342 (java) S 4340 4342 3132 0 -1 4202496 3326 0 1 0 4 0 0 0 20 0 18 0 281534422 9787842560 4022 33554432000 1073741824 1073778376 140734144868464 140734144859600 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4342/statm: 2389610 4022 1766 9 0 2380296 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 9558440

[startup+0.100225 s]
/proc/loadavg: 2.00 2.00 2.00 3/194 4342
/proc/meminfo: memFree=28875068/32873648 swapFree=6844/6844
[pid=4342] ppid=4340 vsize=9558440 CPUtime=0.09 cores=0,2,4,6
/proc/4342/stat : 4342 (java) S 4340 4342 3132 0 -1 4202496 4345 0 1 0 9 0 0 0 20 0 18 0 281534422 9787842560 5551 33554432000 1073741824 1073778376 140734144868464 140734144859600 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4342/statm: 2389610 5551 2116 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558440

[startup+0.30017 s]
/proc/loadavg: 2.00 2.00 2.00 3/194 4342
/proc/meminfo: memFree=28875068/32873648 swapFree=6844/6844
[pid=4342] ppid=4340 vsize=9625004 CPUtime=0.52 cores=0,2,4,6
/proc/4342/stat : 4342 (java) S 4340 4342 3132 0 -1 4202496 7110 0 1 0 51 1 0 0 20 0 19 0 281534422 9856004096 8125 33554432000 1073741824 1073778376 140734144868464 140734144859600 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4342/statm: 2406251 8125 2230 9 0 2396937 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 9625004

[startup+0.70026 s]
/proc/loadavg: 2.00 2.00 2.00 3/194 4342
/proc/meminfo: memFree=28875068/32873648 swapFree=6844/6844
[pid=4342] ppid=4340 vsize=9625004 CPUtime=1.3 cores=0,2,4,6
/proc/4342/stat : 4342 (java) S 4340 4342 3132 0 -1 4202496 12218 0 1 0 128 2 0 0 20 0 19 0 281534422 9856004096 11239 33554432000 1073741824 1073778376 140734144868464 140734144859600 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4342/statm: 2406251 11239 2240 9 0 2396937 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 9625004

[startup+1.50072 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 4361
/proc/meminfo: memFree=28834504/32873648 swapFree=6844/6844
[pid=4342] ppid=4340 vsize=9625004 CPUtime=2.18 cores=0,2,4,6
/proc/4342/stat : 4342 (java) S 4340 4342 3132 0 -1 4202496 12303 0 1 0 216 2 0 0 20 0 19 0 281534422 9856004096 14382 33554432000 1073741824 1073778376 140734144868464 140734144859600 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4342/statm: 2406251 14382 2272 9 0 2396937 0
[pid=4342/tid=4344] ppid=4340 vsize=9625004 CPUtime=1.44 cores=0,2,4,6
/proc/4342/task/4344/stat : 4344 (java) R 4340 4342 3132 0 -1 4202560 2567 0 1 0 143 1 0 0 20 0 19 0 281534423 9856004096 14382 33554432000 1073741824 1073778376 140734144868464 140145785762096 140145725921579 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=4342/tid=4345] ppid=4340 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/4342/task/4345/stat : 4345 (java) S 4340 4342 3132 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 281534424 9856004096 14382 33554432000 1073741824 1073778376 140734144868464 140145724492072 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4342/tid=4346] ppid=4340 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/4342/task/4346/stat : 4346 (java) S 4340 4342 3132 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281534424 9856004096 14382 33554432000 1073741824 1073778376 140734144868464 140145723439272 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4342/tid=4347] ppid=4340 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/4342/task/4347/stat : 4347 (java) S 4340 4342 3132 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281534424 9856004096 14382 33554432000 1073741824 1073778376 140734144868464 140145627707944 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4342/tid=4348] ppid=4340 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/4342/task/4348/stat : 4348 (java) S 4340 4342 3132 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 281534424 9856004096 14382 33554432000 1073741824 1073778376 140734144868464 140145626655144 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4342/tid=4349] ppid=4340 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/4342/task/4349/stat : 4349 (java) S 4340 4342 3132 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 281534424 9856004096 14382 33554432000 1073741824 1073778376 140734144868464 140145625602856 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4342/tid=4350] ppid=4340 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/4342/task/4350/stat : 4350 (java) S 4340 4342 3132 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281534424 9856004096 14382 33554432000 1073741824 1073778376 140734144868464 140145624550056 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4342/tid=4351] ppid=4340 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/4342/task/4351/stat : 4351 (java) S 4340 4342 3132 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281534424 9856004096 14382 33554432000 1073741824 1073778376 140734144868464 140145623497768 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4342/tid=4352] ppid=4340 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/4342/task/4352/stat : 4352 (java) S 4340 4342 3132 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 281534424 9856004096 14382 33554432000 1073741824 1073778376 140734144868464 140145622444968 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4342/tid=4353] ppid=4340 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/4342/task/4353/stat : 4353 (java) S 4340 4342 3132 0 -1 4202560 34 0 0 0 0 0 0 0 20 0 19 0 281534425 9856004096 14382 33554432000 1073741824 1073778376 140734144868464 140145610033384 259115759529 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4342/tid=4354] ppid=4340 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/4342/task/4354/stat : 4354 (java) S 4340 4342 3132 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281534425 9856004096 14382 33554432000 1073741824 1073778376 140734144868464 140145608979448 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4342/tid=4355] ppid=4340 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/4342/task/4355/stat : 4355 (java) S 4340 4342 3132 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281534425 9856004096 14382 33554432000 1073741824 1073778376 140734144868464 140145607927048 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4342/tid=4356] ppid=4340 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/4342/task/4356/stat : 4356 (java) S 4340 4342 3132 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281534428 9856004096 14382 33554432000 1073741824 1073778376 140734144868464 140145606875536 259115767584 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4342/tid=4357] ppid=4340 vsize=9625004 CPUtime=0.34 cores=0,2,4,6
/proc/4342/task/4357/stat : 4357 (java) S 4340 4342 3132 0 -1 4202560 4940 0 0 0 34 0 0 0 20 0 19 0 281534428 9856004096 14382 33554432000 1073741824 1073778376 140734144868464 140145605823160 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4342/tid=4358] ppid=4340 vsize=9625004 CPUtime=0.33 cores=0,2,4,6
/proc/4342/task/4358/stat : 4358 (java) S 4340 4342 3132 0 -1 4202560 3550 0 0 0 33 0 0 0 20 0 19 0 281534428 9856004096 14382 33554432000 1073741824 1073778376 140734144868464 140145604770360 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4342/tid=4359] ppid=4340 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/4342/task/4359/stat : 4359 (java) S 4340 4342 3132 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281534428 9856004096 14382 33554432000 1073741824 1073778376 140734144868464 140145603718264 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4342/tid=4360] ppid=4340 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/4342/task/4360/stat : 4360 (java) S 4340 4342 3132 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281534428 9856004096 14382 33554432000 1073741824 1073778376 140734144868464 140145602665672 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4342/tid=4361] ppid=4340 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/4342/task/4361/stat : 4361 (java) S 4340 4342 3132 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281534438 9856004096 14382 33554432000 1073741824 1073778376 140734144868464 140145601610664 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 2.18
Current children cumulated vsize (KiB) 9625004

[startup+3.10064 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 4361
/proc/meminfo: memFree=28823768/32873648 swapFree=6844/6844
[pid=4342] ppid=4340 vsize=9625004 CPUtime=3.83 cores=0,2,4,6
/proc/4342/stat : 4342 (java) S 4340 4342 3132 0 -1 4202496 12348 0 1 0 381 2 0 0 20 0 19 0 281534422 9856004096 14930 33554432000 1073741824 1073778376 140734144868464 140734144859600 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4342/statm: 2406251 14930 2274 9 0 2396937 0
[pid=4342/tid=4344] ppid=4340 vsize=9625004 CPUtime=2.99 cores=0,2,4,6
/proc/4342/task/4344/stat : 4344 (java) R 4340 4342 3132 0 -1 4202560 2570 0 1 0 298 1 0 0 20 0 19 0 281534423 9856004096 14930 33554432000 1073741824 1073778376 140734144868464 140145785762216 140145725892697 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=4342/tid=4345] ppid=4340 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/4342/task/4345/stat : 4345 (java) S 4340 4342 3132 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 281534424 9856004096 14930 33554432000 1073741824 1073778376 140734144868464 140145724492072 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4342/tid=4346] ppid=4340 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/4342/task/4346/stat : 4346 (java) S 4340 4342 3132 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 281534424 9856004096 14930 33554432000 1073741824 1073778376 140734144868464 140145723439272 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4342/tid=4347] ppid=4340 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/4342/task/4347/stat : 4347 (java) S 4340 4342 3132 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 281534424 9856004096 14930 33554432000 1073741824 1073778376 140734144868464 140145627707944 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4342/tid=4348] ppid=4340 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/4342/task/4348/stat : 4348 (java) S 4340 4342 3132 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 281534424 9856004096 14930 33554432000 1073741824 1073778376 140734144868464 140145626655144 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4342/tid=4349] ppid=4340 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/4342/task/4349/stat : 4349 (java) S 4340 4342 3132 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281534424 9856004096 14930 33554432000 1073741824 1073778376 140734144868464 140145625602856 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4342/tid=4350] ppid=4340 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/4342/task/4350/stat : 4350 (java) S 4340 4342 3132 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 281534424 9856004096 14930 33554432000 1073741824 1073778376 140734144868464 140145624550056 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4342/tid=4351] ppid=4340 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/4342/task/4351/stat : 4351 (java) S 4340 4342 3132 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 281534424 9856004096 14930 33554432000 1073741824 1073778376 140734144868464 140145623497768 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4342/tid=4352] ppid=4340 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/4342/task/4352/stat : 4352 (java) S 4340 4342 3132 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 281534424 9856004096 14930 33554432000 1073741824 1073778376 140734144868464 140145622444968 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4342/tid=4353] ppid=4340 vsize=9625004 CPUtime=0.04 cores=0,2,4,6
/proc/4342/task/4353/stat : 4353 (java) S 4340 4342 3132 0 -1 4202560 34 0 0 0 4 0 0 0 20 0 19 0 281534425 9856004096 14930 33554432000 1073741824 1073778376 140734144868464 140145610033384 259115759529 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4342/tid=4354] ppid=4340 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/4342/task/4354/stat : 4354 (java) S 4340 4342 3132 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281534425 9856004096 14930 33554432000 1073741824 1073778376 140734144868464 140145608979448 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4342/tid=4355] ppid=4340 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/4342/task/4355/stat : 4355 (java) S 4340 4342 3132 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281534425 9856004096 14930 33554432000 1073741824 1073778376 140734144868464 140145607927048 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4342/tid=4356] ppid=4340 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/4342/task/4356/stat : 4356 (java) S 4340 4342 3132 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281534428 9856004096 14930 33554432000 1073741824 1073778376 140734144868464 140145606875536 259115767584 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4342/tid=4357] ppid=4340 vsize=9625004 CPUtime=0.37 cores=0,2,4,6
/proc/4342/task/4357/stat : 4357 (java) S 4340 4342 3132 0 -1 4202560 4953 0 0 0 37 0 0 0 20 0 19 0 281534428 9856004096 14930 33554432000 1073741824 1073778376 140734144868464 140145605823160 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4342/tid=4358] ppid=4340 vsize=9625004 CPUtime=0.33 cores=0,2,4,6
/proc/4342/task/4358/stat : 4358 (java) S 4340 4342 3132 0 -1 4202560 3550 0 0 0 33 0 0 0 20 0 19 0 281534428 9856004096 14930 33554432000 1073741824 1073778376 140734144868464 140145604770360 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4342/tid=4359] ppid=4340 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/4342/task/4359/stat : 4359 (java) S 4340 4342 3132 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281534428 9856004096 14930 33554432000 1073741824 1073778376 140734144868464 140145603718264 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4342/tid=4360] ppid=4340 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/4342/task/4360/stat : 4360 (java) S 4340 4342 3132 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281534428 9856004096 14930 33554432000 1073741824 1073778376 140734144868464 140145602665672 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4342/tid=4361] ppid=4340 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/4342/task/4361/stat : 4361 (java) S 4340 4342 3132 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281534438 9856004096 14930 33554432000 1073741824 1073778376 140734144868464 140145601610664 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 3.83
Current children cumulated vsize (KiB) 9625004

[startup+6.30065 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 4361
/proc/meminfo: memFree=28823400/32873648 swapFree=6844/6844
[pid=4342] ppid=4340 vsize=9625004 CPUtime=7.04 cores=0,2,4,6
/proc/4342/stat : 4342 (java) S 4340 4342 3132 0 -1 4202496 12363 0 1 0 702 2 0 0 20 0 19 0 281534422 9856004096 14865 33554432000 1073741824 1073778376 140734144868464 140734144859600 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4342/statm: 2406251 14865 2274 9 0 2396937 0
[pid=4342/tid=4344] ppid=4340 vsize=9625004 CPUtime=6.11 cores=0,2,4,6
/proc/4342/task/4344/stat : 4344 (java) R 4340 4342 3132 0 -1 4202560 2577 0 1 0 610 1 0 0 20 0 19 0 281534423 9856004096 14865 33554432000 1073741824 1073778376 140734144868464 140145785762096 140145726198544 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=4342/tid=4345] ppid=4340 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/4342/task/4345/stat : 4345 (java) S 4340 4342 3132 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 281534424 9856004096 14865 33554432000 1073741824 1073778376 140734144868464 140145724492072 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4342/tid=4346] ppid=4340 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/4342/task/4346/stat : 4346 (java) S 4340 4342 3132 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 281534424 9856004096 14865 33554432000 1073741824 1073778376 140734144868464 140145723439272 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4342/tid=4347] ppid=4340 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/4342/task/4347/stat : 4347 (java) S 4340 4342 3132 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 281534424 9856004096 14865 33554432000 1073741824 1073778376 140734144868464 140145627707944 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4342/tid=4348] ppid=4340 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/4342/task/4348/stat : 4348 (java) S 4340 4342 3132 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 19 0 281534424 9856004096 14865 33554432000 1073741824 1073778376 140734144868464 140145626655144 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4342/tid=4349] ppid=4340 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/4342/task/4349/stat : 4349 (java) S 4340 4342 3132 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281534424 9856004096 14865 33554432000 1073741824 1073778376 140734144868464 140145625602856 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4342/tid=4350] ppid=4340 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/4342/task/4350/stat : 4350 (java) S 4340 4342 3132 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 281534424 9856004096 14865 33554432000 1073741824 1073778376 140734144868464 140145624550056 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4342/tid=4351] ppid=4340 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/4342/task/4351/stat : 4351 (java) S 4340 4342 3132 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 281534424 9856004096 14865 33554432000 1073741824 1073778376 140734144868464 140145623497768 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4342/tid=4352] ppid=4340 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/4342/task/4352/stat : 4352 (java) S 4340 4342 3132 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281534424 9856004096 14865 33554432000 1073741824 1073778376 140734144868464 140145622444968 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4342/tid=4353] ppid=4340 vsize=9625004 CPUtime=0.1 cores=0,2,4,6
/proc/4342/task/4353/stat : 4353 (java) S 4340 4342 3132 0 -1 4202560 34 0 0 0 10 0 0 0 20 0 19 0 281534425 9856004096 14865 33554432000 1073741824 1073778376 140734144868464 140145610033384 259115759529 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4342/tid=4354] ppid=4340 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/4342/task/4354/stat : 4354 (java) S 4340 4342 3132 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281534425 9856004096 14865 33554432000 1073741824 1073778376 140734144868464 140145608979448 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4342/tid=4355] ppid=4340 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/4342/task/4355/stat : 4355 (java) S 4340 4342 3132 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281534425 9856004096 14865 33554432000 1073741824 1073778376 140734144868464 140145607927048 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4342/tid=4356] ppid=4340 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/4342/task/4356/stat : 4356 (java) S 4340 4342 3132 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281534428 9856004096 14865 33554432000 1073741824 1073778376 140734144868464 140145606875536 259115767584 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4342/tid=4357] ppid=4340 vsize=9625004 CPUtime=0.37 cores=0,2,4,6
/proc/4342/task/4357/stat : 4357 (java) S 4340 4342 3132 0 -1 4202560 4953 0 0 0 37 0 0 0 20 0 19 0 281534428 9856004096 14865 33554432000 1073741824 1073778376 140734144868464 140145605823160 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4342/tid=4358] ppid=4340 vsize=9625004 CPUtime=0.33 cores=0,2,4,6
/proc/4342/task/4358/stat : 4358 (java) S 4340 4342 3132 0 -1 4202560 3550 0 0 0 33 0 0 0 20 0 19 0 281534428 9856004096 14865 33554432000 1073741824 1073778376 140734144868464 140145604770360 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4342/tid=4359] ppid=4340 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/4342/task/4359/stat : 4359 (java) S 4340 4342 3132 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281534428 9856004096 14865 33554432000 1073741824 1073778376 140734144868464 140145603718264 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4342/tid=4360] ppid=4340 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/4342/task/4360/stat : 4360 (java) S 4340 4342 3132 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281534428 9856004096 14865 33554432000 1073741824 1073778376 140734144868464 140145602665672 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4342/tid=4361] ppid=4340 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/4342/task/4361/stat : 4361 (java) S 4340 4342 3132 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281534438 9856004096 14865 33554432000 1073741824 1073778376 140734144868464 140145601610664 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 7.04
Current children cumulated vsize (KiB) 9625004

[startup+12.7007 s]

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

[pid=4342/tid=4357] ppid=4340 vsize=9625004 CPUtime=0.37 cores=0,2,4,6
/proc/4342/task/4357/stat : 4357 (java) S 4340 4342 3132 0 -1 4202560 4953 0 0 0 37 0 0 0 20 0 19 0 281534428 9856004096 36266 33554432000 1073741824 1073778376 140734144868464 140145605823160 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4342/tid=4358] ppid=4340 vsize=9625004 CPUtime=0.33 cores=0,2,4,6
/proc/4342/task/4358/stat : 4358 (java) S 4340 4342 3132 0 -1 4202560 3550 0 0 0 33 0 0 0 20 0 19 0 281534428 9856004096 36266 33554432000 1073741824 1073778376 140734144868464 140145604770360 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4342/tid=4359] ppid=4340 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/4342/task/4359/stat : 4359 (java) S 4340 4342 3132 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281534428 9856004096 36266 33554432000 1073741824 1073778376 140734144868464 140145603718264 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4342/tid=4360] ppid=4340 vsize=9625004 CPUtime=0.37 cores=0,2,4,6
/proc/4342/task/4360/stat : 4360 (java) S 4340 4342 3132 0 -1 4202560 99 0 0 0 16 21 0 0 20 0 19 0 281534428 9856004096 36266 33554432000 1073741824 1073778376 140734144868464 140145602665672 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4342/tid=4361] ppid=4340 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/4342/task/4361/stat : 4361 (java) S 4340 4342 3132 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281534438 9856004096 36266 33554432000 1073741824 1073778376 140734144868464 140145601610664 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1728.13
Current children cumulated vsize (KiB) 9625004

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 4446
/proc/meminfo: memFree=28725616/32873648 swapFree=6844/6844
[pid=4342] ppid=4340 vsize=9625004 CPUtime=1788.24 cores=0,2,4,6
/proc/4342/stat : 4342 (java) S 4340 4342 3132 0 -1 4202496 14328 0 1 0 178790 34 0 0 20 0 19 0 281534422 9856004096 36266 33554432000 1073741824 1073778376 140734144868464 140734144859600 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4342/statm: 2406251 36266 2274 9 0 2396937 0
[pid=4342/tid=4344] ppid=4340 vsize=9625004 CPUtime=1768.25 cores=0,2,4,6
/proc/4342/task/4344/stat : 4344 (java) R 4340 4342 3132 0 -1 4202560 2830 0 1 0 176797 28 0 0 20 0 19 0 281534423 9856004096 36266 33554432000 1073741824 1073778376 140734144868464 140145785762096 140145725875654 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=4342/tid=4345] ppid=4340 vsize=9625004 CPUtime=0.96 cores=0,2,4,6
/proc/4342/task/4345/stat : 4345 (java) S 4340 4342 3132 0 -1 4202560 198 0 0 0 94 2 0 0 20 0 19 0 281534424 9856004096 36266 33554432000 1073741824 1073778376 140734144868464 140145724492072 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4342/tid=4346] ppid=4340 vsize=9625004 CPUtime=0.92 cores=0,2,4,6
/proc/4342/task/4346/stat : 4346 (java) S 4340 4342 3132 0 -1 4202560 88 0 0 0 92 0 0 0 20 0 19 0 281534424 9856004096 36266 33554432000 1073741824 1073778376 140734144868464 140145723439272 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4342/tid=4347] ppid=4340 vsize=9625004 CPUtime=0.93 cores=0,2,4,6
/proc/4342/task/4347/stat : 4347 (java) S 4340 4342 3132 0 -1 4202560 261 0 0 0 91 2 0 0 20 0 19 0 281534424 9856004096 36266 33554432000 1073741824 1073778376 140734144868464 140145627707944 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4342/tid=4348] ppid=4340 vsize=9625004 CPUtime=0.9 cores=0,2,4,6
/proc/4342/task/4348/stat : 4348 (java) S 4340 4342 3132 0 -1 4202560 153 0 0 0 88 2 0 0 20 0 19 0 281534424 9856004096 36266 33554432000 1073741824 1073778376 140734144868464 140145626655144 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4342/tid=4349] ppid=4340 vsize=9625004 CPUtime=0.9 cores=0,2,4,6
/proc/4342/task/4349/stat : 4349 (java) S 4340 4342 3132 0 -1 4202560 269 0 0 0 88 2 0 0 20 0 19 0 281534424 9856004096 36266 33554432000 1073741824 1073778376 140734144868464 140145625602856 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4342/tid=4350] ppid=4340 vsize=9625004 CPUtime=0.91 cores=0,2,4,6
/proc/4342/task/4350/stat : 4350 (java) S 4340 4342 3132 0 -1 4202560 264 0 0 0 89 2 0 0 20 0 19 0 281534424 9856004096 36266 33554432000 1073741824 1073778376 140734144868464 140145624550056 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4342/tid=4351] ppid=4340 vsize=9625004 CPUtime=0.9 cores=0,2,4,6
/proc/4342/task/4351/stat : 4351 (java) S 4340 4342 3132 0 -1 4202560 162 0 0 0 88 2 0 0 20 0 19 0 281534424 9856004096 36266 33554432000 1073741824 1073778376 140734144868464 140145623497768 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4342/tid=4352] ppid=4340 vsize=9625004 CPUtime=0.87 cores=0,2,4,6
/proc/4342/task/4352/stat : 4352 (java) S 4340 4342 3132 0 -1 4202560 161 0 0 0 87 0 0 0 20 0 19 0 281534424 9856004096 36266 33554432000 1073741824 1073778376 140734144868464 140145622444968 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4342/tid=4353] ppid=4340 vsize=9625004 CPUtime=7.25 cores=0,2,4,6
/proc/4342/task/4353/stat : 4353 (java) S 4340 4342 3132 0 -1 4202560 155 0 0 0 722 3 0 0 20 0 19 0 281534425 9856004096 36266 33554432000 1073741824 1073778376 140734144868464 140145610033384 259115759529 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4342/tid=4354] ppid=4340 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/4342/task/4354/stat : 4354 (java) S 4340 4342 3132 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281534425 9856004096 36266 33554432000 1073741824 1073778376 140734144868464 140145608979448 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4342/tid=4355] ppid=4340 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/4342/task/4355/stat : 4355 (java) S 4340 4342 3132 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281534425 9856004096 36266 33554432000 1073741824 1073778376 140734144868464 140145607927048 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4342/tid=4356] ppid=4340 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/4342/task/4356/stat : 4356 (java) S 4340 4342 3132 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281534428 9856004096 36266 33554432000 1073741824 1073778376 140734144868464 140145606875536 259115767584 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4342/tid=4357] ppid=4340 vsize=9625004 CPUtime=0.37 cores=0,2,4,6
/proc/4342/task/4357/stat : 4357 (java) S 4340 4342 3132 0 -1 4202560 4953 0 0 0 37 0 0 0 20 0 19 0 281534428 9856004096 36266 33554432000 1073741824 1073778376 140734144868464 140145605823160 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4342/tid=4358] ppid=4340 vsize=9625004 CPUtime=0.33 cores=0,2,4,6
/proc/4342/task/4358/stat : 4358 (java) S 4340 4342 3132 0 -1 4202560 3550 0 0 0 33 0 0 0 20 0 19 0 281534428 9856004096 36266 33554432000 1073741824 1073778376 140734144868464 140145604770360 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4342/tid=4359] ppid=4340 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/4342/task/4359/stat : 4359 (java) S 4340 4342 3132 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281534428 9856004096 36266 33554432000 1073741824 1073778376 140734144868464 140145603718264 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4342/tid=4360] ppid=4340 vsize=9625004 CPUtime=0.38 cores=0,2,4,6
/proc/4342/task/4360/stat : 4360 (java) S 4340 4342 3132 0 -1 4202560 103 0 0 0 17 21 0 0 20 0 19 0 281534428 9856004096 36266 33554432000 1073741824 1073778376 140734144868464 140145602665672 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4342/tid=4361] ppid=4340 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/4342/task/4361/stat : 4361 (java) S 4340 4342 3132 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281534438 9856004096 36266 33554432000 1073741824 1073778376 140734144868464 140145601610664 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1788.24
Current children cumulated vsize (KiB) 9625004



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1794.11 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 4446
/proc/meminfo: memFree=28726112/32873648 swapFree=6844/6844
[pid=4342] ppid=4340 vsize=9625004 CPUtime=1800.05 cores=0,2,4,6
/proc/4342/stat : 4342 (java) S 4340 4342 3132 0 -1 4202496 14328 0 1 0 179971 34 0 0 20 0 19 0 281534422 9856004096 36266 33554432000 1073741824 1073778376 140734144868464 140734144859600 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4342/statm: 2406251 36266 2274 9 0 2396937 0
[pid=4342/tid=4344] ppid=4340 vsize=9625004 CPUtime=1780.03 cores=0,2,4,6
/proc/4342/task/4344/stat : 4344 (java) R 4340 4342 3132 0 -1 4202560 2830 0 1 0 177974 29 0 0 20 0 19 0 281534423 9856004096 36266 33554432000 1073741824 1073778376 140734144868464 140145785762096 140145725966775 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=4342/tid=4345] ppid=4340 vsize=9625004 CPUtime=0.96 cores=0,2,4,6
/proc/4342/task/4345/stat : 4345 (java) S 4340 4342 3132 0 -1 4202560 198 0 0 0 94 2 0 0 20 0 19 0 281534424 9856004096 36266 33554432000 1073741824 1073778376 140734144868464 140145724492072 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4342/tid=4346] ppid=4340 vsize=9625004 CPUtime=0.92 cores=0,2,4,6
/proc/4342/task/4346/stat : 4346 (java) S 4340 4342 3132 0 -1 4202560 88 0 0 0 92 0 0 0 20 0 19 0 281534424 9856004096 36266 33554432000 1073741824 1073778376 140734144868464 140145723439272 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4342/tid=4347] ppid=4340 vsize=9625004 CPUtime=0.93 cores=0,2,4,6
/proc/4342/task/4347/stat : 4347 (java) S 4340 4342 3132 0 -1 4202560 261 0 0 0 91 2 0 0 20 0 19 0 281534424 9856004096 36266 33554432000 1073741824 1073778376 140734144868464 140145627707944 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4342/tid=4348] ppid=4340 vsize=9625004 CPUtime=0.9 cores=0,2,4,6
/proc/4342/task/4348/stat : 4348 (java) S 4340 4342 3132 0 -1 4202560 153 0 0 0 88 2 0 0 20 0 19 0 281534424 9856004096 36266 33554432000 1073741824 1073778376 140734144868464 140145626655144 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4342/tid=4349] ppid=4340 vsize=9625004 CPUtime=0.9 cores=0,2,4,6
/proc/4342/task/4349/stat : 4349 (java) S 4340 4342 3132 0 -1 4202560 269 0 0 0 88 2 0 0 20 0 19 0 281534424 9856004096 36266 33554432000 1073741824 1073778376 140734144868464 140145625602856 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4342/tid=4350] ppid=4340 vsize=9625004 CPUtime=0.91 cores=0,2,4,6
/proc/4342/task/4350/stat : 4350 (java) S 4340 4342 3132 0 -1 4202560 264 0 0 0 89 2 0 0 20 0 19 0 281534424 9856004096 36266 33554432000 1073741824 1073778376 140734144868464 140145624550056 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4342/tid=4351] ppid=4340 vsize=9625004 CPUtime=0.9 cores=0,2,4,6
/proc/4342/task/4351/stat : 4351 (java) S 4340 4342 3132 0 -1 4202560 162 0 0 0 88 2 0 0 20 0 19 0 281534424 9856004096 36266 33554432000 1073741824 1073778376 140734144868464 140145623497768 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4342/tid=4352] ppid=4340 vsize=9625004 CPUtime=0.87 cores=0,2,4,6
/proc/4342/task/4352/stat : 4352 (java) S 4340 4342 3132 0 -1 4202560 161 0 0 0 87 0 0 0 20 0 19 0 281534424 9856004096 36266 33554432000 1073741824 1073778376 140734144868464 140145622444968 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4342/tid=4353] ppid=4340 vsize=9625004 CPUtime=7.25 cores=0,2,4,6
/proc/4342/task/4353/stat : 4353 (java) S 4340 4342 3132 0 -1 4202560 155 0 0 0 722 3 0 0 20 0 19 0 281534425 9856004096 36266 33554432000 1073741824 1073778376 140734144868464 140145610033384 259115759529 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4342/tid=4354] ppid=4340 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/4342/task/4354/stat : 4354 (java) S 4340 4342 3132 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281534425 9856004096 36266 33554432000 1073741824 1073778376 140734144868464 140145608979448 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4342/tid=4355] ppid=4340 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/4342/task/4355/stat : 4355 (java) S 4340 4342 3132 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281534425 9856004096 36266 33554432000 1073741824 1073778376 140734144868464 140145607927048 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4342/tid=4356] ppid=4340 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/4342/task/4356/stat : 4356 (java) S 4340 4342 3132 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281534428 9856004096 36266 33554432000 1073741824 1073778376 140734144868464 140145606875536 259115767584 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4342/tid=4357] ppid=4340 vsize=9625004 CPUtime=0.37 cores=0,2,4,6
/proc/4342/task/4357/stat : 4357 (java) S 4340 4342 3132 0 -1 4202560 4953 0 0 0 37 0 0 0 20 0 19 0 281534428 9856004096 36266 33554432000 1073741824 1073778376 140734144868464 140145605823160 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4342/tid=4358] ppid=4340 vsize=9625004 CPUtime=0.33 cores=0,2,4,6
/proc/4342/task/4358/stat : 4358 (java) S 4340 4342 3132 0 -1 4202560 3550 0 0 0 33 0 0 0 20 0 19 0 281534428 9856004096 36266 33554432000 1073741824 1073778376 140734144868464 140145604770360 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4342/tid=4359] ppid=4340 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/4342/task/4359/stat : 4359 (java) S 4340 4342 3132 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281534428 9856004096 36266 33554432000 1073741824 1073778376 140734144868464 140145603718264 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4342/tid=4360] ppid=4340 vsize=9625004 CPUtime=0.38 cores=0,2,4,6
/proc/4342/task/4360/stat : 4360 (java) S 4340 4342 3132 0 -1 4202560 103 0 0 0 17 21 0 0 20 0 19 0 281534428 9856004096 36266 33554432000 1073741824 1073778376 140734144868464 140145602665672 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4342/tid=4361] ppid=4340 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/4342/task/4361/stat : 4361 (java) S 4340 4342 3132 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281534438 9856004096 36266 33554432000 1073741824 1073778376 140734144868464 140145601610664 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 9625004

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

Solver just ended. Dumping a history of the last processes samples

[startup+1794.11 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 4446
/proc/meminfo: memFree=28726112/32873648 swapFree=6844/6844
[pid=4342] ppid=4340 vsize=9625004 CPUtime=1800.05 cores=0,2,4,6
/proc/4342/stat : 4342 (java) S 4340 4342 3132 0 -1 4202496 14328 0 1 0 179971 34 0 0 20 0 19 0 281534422 9856004096 36266 33554432000 1073741824 1073778376 140734144868464 140734144859600 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4342/statm: 2406251 36266 2274 9 0 2396937 0
[pid=4342/tid=4344] ppid=4340 vsize=9625004 CPUtime=1780.03 cores=0,2,4,6
/proc/4342/task/4344/stat : 4344 (java) R 4340 4342 3132 0 -1 4202560 2830 0 1 0 177974 29 0 0 20 0 19 0 281534423 9856004096 36266 33554432000 1073741824 1073778376 140734144868464 140145785762096 140145725966775 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=4342/tid=4345] ppid=4340 vsize=9625004 CPUtime=0.96 cores=0,2,4,6
/proc/4342/task/4345/stat : 4345 (java) S 4340 4342 3132 0 -1 4202560 198 0 0 0 94 2 0 0 20 0 19 0 281534424 9856004096 36266 33554432000 1073741824 1073778376 140734144868464 140145724492072 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4342/tid=4346] ppid=4340 vsize=9625004 CPUtime=0.92 cores=0,2,4,6
/proc/4342/task/4346/stat : 4346 (java) S 4340 4342 3132 0 -1 4202560 88 0 0 0 92 0 0 0 20 0 19 0 281534424 9856004096 36266 33554432000 1073741824 1073778376 140734144868464 140145723439272 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4342/tid=4347] ppid=4340 vsize=9625004 CPUtime=0.93 cores=0,2,4,6
/proc/4342/task/4347/stat : 4347 (java) S 4340 4342 3132 0 -1 4202560 261 0 0 0 91 2 0 0 20 0 19 0 281534424 9856004096 36266 33554432000 1073741824 1073778376 140734144868464 140145627707944 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4342/tid=4348] ppid=4340 vsize=9625004 CPUtime=0.9 cores=0,2,4,6
/proc/4342/task/4348/stat : 4348 (java) S 4340 4342 3132 0 -1 4202560 153 0 0 0 88 2 0 0 20 0 19 0 281534424 9856004096 36266 33554432000 1073741824 1073778376 140734144868464 140145626655144 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4342/tid=4349] ppid=4340 vsize=9625004 CPUtime=0.9 cores=0,2,4,6
/proc/4342/task/4349/stat : 4349 (java) S 4340 4342 3132 0 -1 4202560 269 0 0 0 88 2 0 0 20 0 19 0 281534424 9856004096 36266 33554432000 1073741824 1073778376 140734144868464 140145625602856 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4342/tid=4350] ppid=4340 vsize=9625004 CPUtime=0.91 cores=0,2,4,6
/proc/4342/task/4350/stat : 4350 (java) S 4340 4342 3132 0 -1 4202560 264 0 0 0 89 2 0 0 20 0 19 0 281534424 9856004096 36266 33554432000 1073741824 1073778376 140734144868464 140145624550056 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4342/tid=4351] ppid=4340 vsize=9625004 CPUtime=0.9 cores=0,2,4,6
/proc/4342/task/4351/stat : 4351 (java) S 4340 4342 3132 0 -1 4202560 162 0 0 0 88 2 0 0 20 0 19 0 281534424 9856004096 36266 33554432000 1073741824 1073778376 140734144868464 140145623497768 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4342/tid=4352] ppid=4340 vsize=9625004 CPUtime=0.87 cores=0,2,4,6
/proc/4342/task/4352/stat : 4352 (java) S 4340 4342 3132 0 -1 4202560 161 0 0 0 87 0 0 0 20 0 19 0 281534424 9856004096 36266 33554432000 1073741824 1073778376 140734144868464 140145622444968 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4342/tid=4353] ppid=4340 vsize=9625004 CPUtime=7.25 cores=0,2,4,6
/proc/4342/task/4353/stat : 4353 (java) S 4340 4342 3132 0 -1 4202560 155 0 0 0 722 3 0 0 20 0 19 0 281534425 9856004096 36266 33554432000 1073741824 1073778376 140734144868464 140145610033384 259115759529 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4342/tid=4354] ppid=4340 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/4342/task/4354/stat : 4354 (java) S 4340 4342 3132 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281534425 9856004096 36266 33554432000 1073741824 1073778376 140734144868464 140145608979448 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4342/tid=4355] ppid=4340 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/4342/task/4355/stat : 4355 (java) S 4340 4342 3132 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281534425 9856004096 36266 33554432000 1073741824 1073778376 140734144868464 140145607927048 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4342/tid=4356] ppid=4340 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/4342/task/4356/stat : 4356 (java) S 4340 4342 3132 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281534428 9856004096 36266 33554432000 1073741824 1073778376 140734144868464 140145606875536 259115767584 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4342/tid=4357] ppid=4340 vsize=9625004 CPUtime=0.37 cores=0,2,4,6
/proc/4342/task/4357/stat : 4357 (java) S 4340 4342 3132 0 -1 4202560 4953 0 0 0 37 0 0 0 20 0 19 0 281534428 9856004096 36266 33554432000 1073741824 1073778376 140734144868464 140145605823160 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4342/tid=4358] ppid=4340 vsize=9625004 CPUtime=0.33 cores=0,2,4,6
/proc/4342/task/4358/stat : 4358 (java) S 4340 4342 3132 0 -1 4202560 3550 0 0 0 33 0 0 0 20 0 19 0 281534428 9856004096 36266 33554432000 1073741824 1073778376 140734144868464 140145604770360 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4342/tid=4359] ppid=4340 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/4342/task/4359/stat : 4359 (java) S 4340 4342 3132 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281534428 9856004096 36266 33554432000 1073741824 1073778376 140734144868464 140145603718264 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4342/tid=4360] ppid=4340 vsize=9625004 CPUtime=0.38 cores=0,2,4,6
/proc/4342/task/4360/stat : 4360 (java) S 4340 4342 3132 0 -1 4202560 103 0 0 0 17 21 0 0 20 0 19 0 281534428 9856004096 36266 33554432000 1073741824 1073778376 140734144868464 140145602665672 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4342/tid=4361] ppid=4340 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/4342/task/4361/stat : 4361 (java) S 4340 4342 3132 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281534438 9856004096 36266 33554432000 1073741824 1073778376 140734144868464 140145601610664 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 9625004

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 4342 and gives
#  childrusage.ru_utime.tv_sec=1795
#  childrusage.ru_utime.tv_usec=219085
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=790879
# CPU time returned by wait4() is 1796.01
# while last known CPU time is 1800.05
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1794.16
CPU time (s): 1800.05
CPU user time (s): 1799.71
CPU system time (s): 0.34
CPU usage (%): 100.329
Max. virtual memory (cumulated for all children) (KiB): 9625004

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.22
system time used= 0.790879
maximum resident set size= 147272
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14371
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1704
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 45210
involuntary context switches= 19397

runsolver used 5.8921 second user time and 13.8619 second system time

The end

Launcher Data 

Begin job on node124 at 2012-05-27 23:28:06
IDJOB=3710833
IDBENCH=2908
IDSOLVER=2289
FILE ID=node124/3710833-1338154086
RUNJOBID= node124-1338143409-3148
PBS_JOBID= 14624516
Free space on /tmp= 71432 MiB

SOLVER NAME= SAT4J PB specific settings 2.3.2 snapshot
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_6_50_2.opb
COMMAND LINE= java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3710833-1338154086/watcher-3710833-1338154086 -o /tmp/evaluation-result-3710833-1338154086/solver-3710833-1338154086 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3710833-1338154086.opb

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

MD5SUM BENCH= b690996610ff381ef60353517fe5a0e9
RANDOM SEED=164393297

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        28875332 kB
Buffers:          352872 kB
Cached:          2687960 kB
SwapCached:            0 kB
Active:          1055708 kB
Inactive:        2131160 kB
Active(anon):     148292 kB
Inactive(anon):        0 kB
Active(file):     907416 kB
Inactive(file):  2131160 kB
Unevictable:        6844 kB
Mlocked:            6844 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:               836 kB
Writeback:             0 kB
AnonPages:        189516 kB
Mapped:            22720 kB
Shmem:               200 kB
Slab:             669100 kB
SReclaimable:     113372 kB
SUnreclaim:       555728 kB
KernelStack:        1760 kB
PageTables:         4144 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     697072 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:    161792 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71432 MiB
End job on node124 at 2012-05-27 23:58:02