Trace number 1562383

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
hybridGM7 7SAT 337.662 337.749

General information on the benchmark

NameCRAFTED/edgematching/
fbcolors/em_7_3_6_fbc.cnf
MD5SUM0d842dabe9c6c8be4b2c1160578a7c22
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.805877
Satisfiable
(Un)Satisfiability was proved
Number of variables1473
Number of clauses19063
Sum of the clauses size52576
Maximum clause length25
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 29881
Number of clauses of size 37024
Number of clauses of size 4708
Number of clauses of size 51300
Number of clauses of size over 5150

Solver Data 

0.00/0.06	c Heuristic : ANov
0.00/0.06	c Hybrid barrier : 1 
0.00/0.06	c Problem instance: numAtoms = 1473, numClauses = 19063, numLiterals = 52576
0.00/0.06	c General parameters: seed=503931850, cutoff=1000000000, targetCost = 0, print solution: yes
0.00/0.06	c gNovelty+ parameters: noise = 0, walkprob = 1, smoothprob = 100
0.00/0.06	c tries = 1
0.00/0.06	c 
337.61/337.73	c gNovelty+ (M  0 )
337.61/337.73	s SATISFIABLE
337.61/337.73	v -1
337.61/337.73	v -2
337.61/337.73	v 3
337.61/337.73	v -4
337.61/337.73	v -5
337.61/337.73	v -6
337.61/337.73	v -7
337.61/337.73	v -8
337.61/337.73	v -9
337.61/337.73	v -10
337.61/337.73	v -11
337.61/337.73	v -12
337.61/337.73	v -13
337.61/337.73	v 14
337.61/337.73	v -15
337.61/337.73	v -16
337.61/337.73	v -17
337.61/337.73	v -18
337.61/337.73	v -19
337.61/337.73	v -20
337.61/337.73	v -21
337.61/337.73	v -22
337.61/337.73	v -23
337.61/337.73	v -24
337.61/337.73	v -25
337.61/337.73	v -26
337.61/337.73	v -27
337.61/337.73	v -28
337.61/337.73	v -29
337.61/337.73	v 30
337.61/337.73	v -31
337.61/337.73	v -32
337.61/337.73	v -33
337.61/337.73	v -34
337.61/337.73	v -35
337.61/337.73	v -36
337.61/337.73	v -37
337.61/337.73	v -38
337.61/337.73	v -39
337.61/337.73	v -40
337.61/337.73	v -41
337.61/337.73	v -42
337.61/337.73	v -43
337.61/337.73	v -44
337.61/337.73	v -45
337.61/337.73	v -46
337.61/337.73	v -47
337.61/337.73	v -48
337.61/337.73	v -49
337.61/337.73	v -50
337.61/337.73	v -51
337.61/337.73	v 52
337.61/337.73	v -53
337.61/337.73	v -54
337.61/337.73	v -55
337.61/337.73	v -56
337.61/337.73	v -57
337.61/337.73	v -58
337.61/337.73	v -59
337.61/337.73	v -60
337.61/337.73	v -61
337.61/337.73	v -62
337.61/337.73	v -63
337.61/337.73	v -64
337.61/337.73	v -65
337.61/337.73	v -66
337.61/337.73	v -67
337.61/337.73	v -68
337.61/337.73	v -69
337.61/337.73	v -70
337.61/337.73	v -71
337.61/337.73	v -72
337.61/337.73	v -73
337.61/337.73	v -74
337.61/337.73	v -75
337.61/337.73	v -76
337.61/337.73	v 77
337.61/337.73	v -78
337.61/337.73	v -79
337.61/337.73	v -80
337.61/337.73	v -81
337.61/337.73	v -82
337.61/337.73	v -83
337.61/337.73	v -84
337.61/337.73	v -85
337.61/337.73	v -86
337.61/337.73	v -87
337.61/337.73	v -88
337.61/337.73	v -89
337.61/337.73	v -90
337.61/337.73	v -91
337.61/337.73	v -92
337.61/337.73	v -93
337.61/337.73	v -94
337.61/337.73	v -95
337.61/337.73	v -96
337.61/337.73	v -97
337.61/337.73	v 98
337.61/337.73	v -99
337.61/337.73	v -100
337.61/337.73	v -101
337.61/337.73	v -102
337.61/337.73	v -103
337.61/337.73	v -104
337.61/337.73	v -105
337.61/337.73	v -106
337.61/337.73	v -107
337.61/337.73	v 108
337.61/337.73	v -109
337.61/337.73	v -110
337.61/337.73	v -111
337.61/337.73	v -112
337.61/337.73	v -113
337.61/337.73	v -114
337.61/337.73	v -115
337.61/337.73	v -116
337.61/337.73	v -117
337.61/337.73	v -118
337.61/337.73	v -119
337.61/337.73	v -120
337.61/337.73	v -121
337.61/337.73	v -122
337.61/337.73	v -123
337.61/337.73	v -124
337.61/337.73	v 125
337.61/337.73	v -126
337.61/337.73	v -127
337.61/337.73	v -128
337.61/337.73	v -129
337.61/337.73	v -130
337.61/337.73	v -131
337.61/337.73	v -132
337.61/337.73	v -133
337.61/337.73	v -134
337.61/337.73	v -135
337.61/337.73	v -136
337.61/337.73	v 137
337.61/337.73	v -138
337.61/337.73	v -139
337.61/337.73	v -140
337.61/337.73	v -141
337.61/337.73	v -142
337.61/337.73	v -143
337.61/337.73	v -144
337.61/337.73	v -145
337.61/337.73	v -146
337.61/337.73	v -147
337.61/337.73	v -148
337.61/337.73	v -149
337.61/337.73	v -150
337.61/337.73	v -151
337.61/337.73	v -152
337.61/337.73	v -153
337.61/337.73	v -154
337.61/337.73	v -155
337.61/337.73	v -156
337.61/337.73	v -157
337.61/337.73	v -158
337.61/337.73	v -159
337.61/337.73	v -160
337.61/337.73	v -161
337.61/337.73	v -162
337.61/337.73	v -163
337.61/337.73	v -164
337.61/337.73	v -165
337.61/337.73	v 166
337.61/337.73	v -167
337.61/337.73	v -168
337.61/337.73	v -169
337.61/337.73	v -170
337.61/337.73	v -171
337.61/337.73	v -172
337.61/337.73	v -173
337.61/337.73	v -174
337.61/337.73	v -175
337.61/337.73	v -176
337.61/337.73	v -177
337.61/337.73	v -178
337.61/337.73	v -179
337.61/337.73	v -180
337.61/337.73	v -181
337.61/337.73	v -182
337.61/337.73	v -183
337.61/337.73	v -184
337.61/337.73	v -185
337.61/337.73	v -186
337.61/337.73	v -187
337.61/337.73	v -188
337.61/337.73	v -189
337.61/337.73	v 190
337.61/337.73	v -191
337.61/337.73	v -192
337.61/337.73	v -193
337.61/337.73	v -194
337.61/337.73	v -195
337.61/337.73	v -196
337.61/337.73	v -197
337.61/337.73	v -198
337.61/337.73	v -199
337.61/337.73	v -200
337.61/337.73	v -201
337.61/337.73	v -202
337.61/337.73	v -203
337.61/337.73	v -204
337.61/337.73	v -205
337.61/337.73	v -206
337.61/337.73	v -207
337.61/337.73	v -208
337.61/337.73	v -209
337.61/337.73	v -210
337.61/337.73	v -211
337.61/337.73	v -212
337.61/337.73	v -213
337.61/337.73	v -214
337.61/337.73	v -215
337.61/337.73	v -216
337.61/337.73	v -217
337.61/337.73	v -218
337.61/337.73	v -219
337.61/337.73	v -220
337.61/337.73	v -221
337.61/337.73	v -222
337.61/337.73	v -223
337.61/337.73	v -224
337.61/337.73	v -225
337.61/337.73	v 226
337.61/337.73	v -227
337.61/337.73	v -228
337.61/337.73	v -229
337.61/337.73	v -230
337.61/337.73	v -231
337.61/337.73	v -232
337.61/337.73	v -233
337.61/337.73	v -234
337.61/337.73	v -235
337.61/337.73	v -236
337.61/337.73	v -237
337.61/337.73	v -238
337.61/337.73	v -239
337.61/337.73	v -240
337.61/337.73	v -241
337.61/337.73	v -242
337.61/337.73	v -243
337.61/337.73	v -244
337.61/337.73	v -245
337.61/337.73	v -246
337.61/337.73	v -247
337.61/337.73	v -248
337.61/337.73	v -249
337.61/337.73	v -250
337.61/337.73	v -251
337.61/337.73	v 252
337.61/337.73	v -253
337.61/337.73	v -254
337.61/337.73	v -255
337.61/337.73	v -256
337.61/337.73	v -257
337.61/337.73	v -258
337.61/337.73	v -259
337.61/337.73	v -260
337.61/337.73	v -261
337.61/337.73	v -262
337.61/337.73	v -263
337.61/337.73	v 264
337.61/337.73	v -265
337.61/337.73	v -266
337.61/337.73	v -267
337.61/337.73	v -268
337.61/337.73	v -269
337.61/337.73	v -270
337.61/337.73	v -271
337.61/337.73	v -272
337.61/337.73	v -273
337.61/337.73	v -274
337.61/337.73	v -275
337.61/337.73	v -276
337.61/337.73	v -277
337.61/337.73	v -278
337.61/337.73	v -279
337.61/337.73	v -280
337.61/337.73	v -281
337.61/337.73	v -282
337.61/337.73	v -283
337.61/337.73	v -284
337.61/337.73	v -285
337.61/337.73	v -286
337.61/337.73	v -287
337.61/337.73	v -288
337.61/337.73	v -289
337.61/337.73	v -290
337.61/337.73	v -291
337.61/337.73	v 292
337.61/337.73	v -293
337.61/337.73	v -294
337.61/337.73	v -295
337.61/337.73	v -296
337.61/337.73	v -297
337.61/337.73	v -298
337.61/337.73	v -299
337.61/337.73	v -300
337.61/337.73	v -301
337.61/337.73	v -302
337.61/337.73	v -303
337.61/337.73	v -304
337.61/337.73	v -305
337.61/337.73	v -306
337.61/337.73	v -307
337.61/337.73	v -308
337.61/337.73	v -309
337.61/337.74	v -310
337.61/337.74	v -311
337.61/337.74	v -312
337.61/337.74	v -313
337.61/337.74	v -314
337.61/337.74	v 315
337.61/337.74	v -316
337.61/337.74	v -317
337.61/337.74	v -318
337.61/337.74	v -319
337.61/337.74	v -320
337.61/337.74	v -321
337.61/337.74	v -322
337.61/337.74	v -323
337.61/337.74	v -324
337.61/337.74	v -325
337.61/337.74	v 326
337.61/337.74	v -327
337.61/337.74	v -328
337.61/337.74	v -329
337.61/337.74	v -330
337.61/337.74	v -331
337.61/337.74	v -332
337.61/337.74	v -333
337.61/337.74	v -334
337.61/337.74	v -335
337.61/337.74	v -336
337.61/337.74	v -337
337.61/337.74	v -338
337.61/337.74	v -339
337.61/337.74	v -340
337.61/337.74	v -341
337.61/337.74	v -342
337.61/337.74	v -343
337.61/337.74	v -344
337.61/337.74	v -345
337.61/337.74	v -346
337.61/337.74	v -347
337.61/337.74	v -348
337.61/337.74	v -349
337.61/337.74	v 350
337.61/337.74	v -351
337.61/337.74	v -352
337.61/337.74	v -353
337.61/337.74	v -354
337.61/337.74	v -355
337.61/337.74	v -356
337.61/337.74	v -357
337.61/337.74	v -358
337.61/337.74	v -359
337.61/337.74	v -360
337.61/337.74	v -361
337.61/337.74	v -362
337.61/337.74	v -363
337.61/337.74	v -364
337.61/337.74	v -365
337.61/337.74	v -366
337.61/337.74	v -367
337.61/337.74	v -368
337.61/337.74	v -369
337.61/337.74	v -370
337.61/337.74	v -371
337.61/337.74	v -372
337.61/337.74	v -373
337.61/337.74	v -374
337.61/337.74	v -375
337.61/337.74	v -376
337.61/337.74	v -377
337.61/337.74	v -378
337.61/337.74	v -379
337.61/337.74	v -380
337.61/337.74	v -381
337.61/337.74	v -382
337.61/337.74	v -383
337.61/337.74	v -384
337.61/337.74	v 385
337.61/337.74	v -386
337.61/337.74	v -387
337.61/337.74	v -388
337.61/337.74	v -389
337.61/337.74	v -390
337.61/337.74	v -391
337.61/337.74	v -392
337.61/337.74	v -393
337.61/337.74	v -394
337.61/337.74	v -395
337.61/337.74	v -396
337.61/337.74	v 397
337.61/337.74	v -398
337.61/337.74	v -399
337.61/337.74	v -400
337.61/337.74	v -401
337.61/337.74	v -402
337.61/337.74	v -403
337.61/337.74	v -404
337.61/337.74	v -405
337.61/337.74	v -406
337.61/337.74	v -407
337.61/337.74	v -408
337.61/337.74	v -409
337.61/337.74	v -410
337.61/337.74	v -411
337.61/337.74	v -412
337.61/337.74	v -413
337.61/337.74	v -414
337.61/337.74	v -415
337.61/337.74	v -416
337.61/337.74	v -417
337.61/337.74	v -418
337.61/337.74	v -419
337.61/337.74	v -420
337.61/337.74	v -421
337.61/337.74	v 422
337.61/337.74	v -423
337.61/337.74	v -424
337.61/337.74	v -425
337.61/337.74	v -426
337.61/337.74	v -427
337.61/337.74	v -428
337.61/337.74	v -429
337.61/337.74	v -430
337.61/337.74	v -431
337.61/337.74	v -432
337.61/337.74	v -433
337.61/337.74	v -434
337.61/337.74	v -435
337.61/337.74	v -436
337.61/337.74	v -437
337.61/337.74	v -438
337.61/337.74	v -439
337.61/337.74	v -440
337.61/337.74	v -441
337.61/337.74	v -442
337.61/337.74	v 443
337.61/337.74	v -444
337.61/337.74	v -445
337.61/337.74	v -446
337.61/337.74	v -447
337.61/337.74	v -448
337.61/337.74	v -449
337.61/337.74	v -450
337.61/337.74	v -451
337.61/337.74	v -452
337.61/337.74	v -453
337.61/337.74	v -454
337.61/337.74	v -455
337.61/337.74	v -456
337.61/337.74	v -457
337.61/337.74	v -458
337.61/337.74	v -459
337.61/337.74	v -460
337.61/337.74	v -461
337.61/337.74	v -462
337.61/337.74	v -463
337.61/337.74	v 464
337.61/337.74	v -465
337.61/337.74	v -466
337.61/337.74	v -467
337.61/337.74	v -468
337.61/337.74	v -469
337.61/337.74	v -470
337.61/337.74	v -471
337.61/337.74	v -472
337.61/337.74	v -473
337.61/337.74	v -474
337.61/337.74	v -475
337.61/337.74	v -476
337.61/337.74	v -477
337.61/337.74	v -478
337.61/337.74	v -479
337.61/337.74	v -480
337.61/337.74	v -481
337.61/337.74	v -482
337.61/337.74	v -483
337.61/337.74	v -484
337.61/337.74	v -485
337.61/337.74	v -486
337.61/337.74	v -487
337.61/337.74	v -488
337.61/337.74	v -489
337.61/337.74	v -490
337.61/337.74	v -491
337.61/337.74	v -492
337.61/337.74	v -493
337.61/337.74	v 494
337.61/337.74	v -495
337.61/337.74	v -496
337.61/337.74	v -497
337.61/337.74	v -498
337.61/337.74	v -499
337.61/337.74	v -500
337.61/337.74	v -501
337.61/337.74	v -502
337.61/337.74	v -503
337.61/337.74	v -504
337.61/337.74	v -505
337.61/337.74	v -506
337.61/337.74	v -507
337.61/337.74	v -508
337.61/337.74	v -509
337.61/337.74	v -510
337.61/337.74	v -511
337.61/337.74	v -512
337.61/337.74	v -513
337.61/337.74	v -514
337.61/337.74	v -515
337.61/337.74	v -516
337.61/337.74	v -517
337.61/337.74	v -518
337.61/337.74	v -519
337.61/337.74	v -520
337.61/337.74	v -521
337.61/337.74	v -522
337.61/337.74	v -523
337.61/337.74	v -524
337.61/337.74	v -525
337.61/337.74	v -526
337.61/337.74	v -527
337.61/337.74	v -528
337.61/337.74	v 529
337.61/337.74	v -530
337.61/337.74	v -531
337.61/337.74	v -532
337.61/337.74	v -533
337.61/337.74	v -534
337.61/337.74	v 535
337.61/337.74	v -536
337.61/337.74	v -537
337.61/337.74	v -538
337.61/337.74	v -539
337.61/337.74	v -540
337.61/337.74	v -541
337.61/337.74	v -542
337.61/337.74	v -543
337.61/337.74	v -544
337.61/337.74	v -545
337.61/337.74	v -546
337.61/337.74	v -547
337.61/337.74	v -548
337.61/337.74	v -549
337.61/337.74	v -550
337.61/337.74	v -551
337.61/337.74	v -552
337.61/337.74	v -553
337.61/337.74	v -554
337.61/337.74	v -555
337.61/337.74	v -556
337.61/337.74	v -557
337.61/337.74	v -558
337.61/337.74	v -559
337.61/337.74	v -560
337.61/337.74	v -561
337.61/337.74	v -562
337.61/337.74	v -563
337.61/337.74	v -564
337.61/337.74	v -565
337.61/337.74	v -566
337.61/337.74	v -567
337.61/337.74	v -568
337.61/337.74	v -569
337.61/337.74	v -570
337.61/337.74	v -571
337.61/337.74	v -572
337.61/337.74	v -573
337.61/337.74	v -574
337.61/337.74	v -575
337.61/337.74	v 576
337.61/337.74	v -577
337.61/337.74	v -578
337.61/337.74	v -579
337.61/337.74	v -580
337.61/337.74	v -581
337.61/337.74	v -582
337.61/337.74	v -583
337.61/337.74	v -584
337.61/337.74	v 585
337.61/337.74	v -586
337.61/337.74	v -587
337.61/337.74	v -588
337.61/337.74	v -589
337.61/337.74	v -590
337.61/337.74	v -591
337.61/337.74	v -592
337.61/337.74	v -593
337.61/337.74	v -594
337.61/337.74	v -595
337.61/337.74	v -596
337.61/337.74	v -597
337.61/337.74	v -598
337.61/337.74	v -599
337.61/337.74	v -600
337.61/337.74	v -601
337.61/337.74	v -602
337.61/337.74	v -603
337.61/337.74	v -604
337.61/337.74	v -605
337.61/337.74	v -606
337.61/337.74	v -607
337.61/337.74	v -608
337.61/337.74	v -609
337.61/337.74	v -610
337.61/337.74	v -611
337.61/337.74	v -612
337.61/337.74	v -613
337.61/337.74	v -614
337.61/337.74	v 615
337.61/337.74	v -616
337.61/337.74	v -617
337.61/337.74	v -618
337.61/337.74	v -619
337.61/337.74	v -620
337.61/337.74	v -621
337.61/337.74	v -622
337.61/337.74	v -623
337.61/337.74	v -624
337.61/337.74	v -625
337.61/337.74	v -626
337.61/337.74	v -627
337.61/337.74	v -628
337.61/337.74	v -629
337.61/337.74	v -630
337.61/337.74	v -631
337.61/337.74	v -632
337.61/337.74	v 633
337.61/337.74	v -634
337.61/337.74	v -635
337.61/337.74	v -636
337.61/337.74	v -637
337.61/337.74	v -638
337.61/337.74	v -639
337.61/337.74	v -640
337.61/337.74	v -641
337.61/337.74	v -642
337.61/337.74	v -643
337.61/337.74	v -644
337.61/337.74	v -645
337.61/337.74	v -646
337.61/337.74	v -647
337.61/337.74	v -648
337.61/337.74	v -649
337.61/337.74	v -650
337.61/337.74	v -651
337.61/337.74	v -652
337.61/337.74	v -653
337.61/337.74	v -654
337.61/337.74	v -655
337.61/337.74	v -656
337.61/337.74	v -657
337.61/337.74	v -658
337.61/337.74	v -659
337.61/337.74	v -660
337.61/337.74	v -661
337.61/337.74	v -662
337.61/337.74	v 663
337.61/337.74	v -664
337.61/337.74	v -665
337.61/337.74	v -666
337.61/337.74	v -667
337.61/337.74	v -668
337.61/337.74	v -669
337.61/337.74	v -670
337.61/337.74	v -671
337.61/337.74	v -672
337.61/337.74	v -673
337.61/337.74	v -674
337.61/337.74	v -675
337.61/337.74	v -676
337.61/337.74	v -677
337.61/337.74	v -678
337.61/337.74	v -679
337.61/337.74	v -680
337.61/337.74	v -681
337.61/337.74	v -682
337.61/337.74	v -683
337.61/337.74	v -684
337.61/337.74	v -685
337.61/337.74	v -686
337.61/337.74	v -687
337.61/337.74	v -688
337.61/337.74	v 689
337.61/337.74	v -690
337.61/337.74	v -691
337.61/337.74	v -692
337.61/337.74	v -693
337.61/337.74	v -694
337.61/337.74	v -695
337.61/337.74	v -696
337.61/337.74	v -697
337.61/337.74	v -698
337.61/337.74	v 699
337.61/337.74	v -700
337.61/337.74	v -701
337.61/337.74	v -702
337.61/337.74	v -703
337.61/337.74	v -704
337.61/337.74	v -705
337.61/337.74	v -706
337.61/337.74	v -707
337.61/337.74	v -708
337.61/337.74	v -709
337.61/337.74	v -710
337.61/337.74	v -711
337.61/337.74	v -712
337.61/337.74	v -713
337.61/337.74	v -714
337.61/337.74	v -715
337.61/337.74	v -716
337.61/337.74	v -717
337.61/337.74	v -718
337.61/337.74	v -719
337.61/337.74	v -720
337.61/337.74	v -721
337.61/337.74	v -722
337.61/337.74	v -723
337.61/337.74	v -724
337.61/337.74	v -725
337.61/337.74	v -726
337.61/337.74	v -727
337.61/337.74	v -728
337.61/337.74	v -729
337.61/337.74	v -730
337.61/337.74	v -731
337.61/337.74	v -732
337.61/337.74	v -733
337.61/337.74	v -734
337.61/337.74	v -735
337.61/337.74	v -736
337.61/337.74	v -737
337.61/337.74	v -738
337.61/337.74	v -739
337.61/337.74	v -740
337.61/337.74	v -741
337.61/337.74	v -742
337.61/337.74	v -743
337.61/337.74	v -744
337.61/337.74	v -745
337.61/337.74	v -746
337.61/337.74	v -747
337.61/337.74	v 748
337.61/337.74	v -749
337.61/337.74	v -750
337.61/337.74	v 751
337.61/337.74	v -752
337.61/337.74	v -753
337.61/337.74	v -754
337.61/337.74	v -755
337.61/337.74	v -756
337.61/337.74	v -757
337.61/337.74	v -758
337.61/337.74	v -759
337.61/337.74	v -760
337.61/337.74	v -761
337.61/337.74	v -762
337.61/337.74	v -763
337.61/337.74	v -764
337.61/337.74	v -765
337.61/337.74	v -766
337.61/337.74	v -767
337.61/337.74	v -768
337.61/337.74	v 769
337.61/337.74	v -770
337.61/337.74	v -771
337.61/337.74	v -772
337.61/337.74	v -773
337.61/337.74	v -774
337.61/337.74	v -775
337.61/337.74	v -776
337.61/337.74	v -777
337.61/337.74	v -778
337.61/337.74	v -779
337.61/337.74	v -780
337.61/337.74	v -781
337.61/337.74	v -782
337.61/337.74	v -783
337.61/337.74	v -784
337.61/337.74	v -785
337.61/337.74	v -786
337.61/337.74	v -787
337.61/337.74	v -788
337.61/337.74	v -789
337.61/337.74	v -790
337.61/337.74	v -791
337.61/337.74	v -792
337.61/337.74	v -793
337.61/337.74	v -794
337.61/337.74	v -795
337.61/337.74	v -796
337.61/337.74	v -797
337.61/337.74	v -798
337.61/337.74	v -799
337.61/337.74	v -800
337.61/337.74	v -801
337.61/337.74	v -802
337.61/337.74	v -803
337.61/337.74	v -804
337.61/337.74	v -805
337.61/337.74	v -806
337.61/337.74	v -807
337.61/337.74	v 808
337.61/337.74	v -809
337.61/337.74	v -810
337.61/337.74	v -811
337.61/337.74	v -812
337.61/337.74	v -813
337.61/337.74	v -814
337.61/337.74	v -815
337.61/337.74	v -816
337.61/337.74	v -817
337.61/337.74	v -818
337.61/337.74	v -819
337.61/337.74	v -820
337.61/337.74	v -821
337.61/337.74	v -822
337.61/337.74	v -823
337.61/337.74	v -824
337.61/337.74	v -825
337.61/337.74	v -826
337.61/337.74	v -827
337.61/337.74	v -828
337.61/337.74	v -829
337.61/337.74	v -830
337.61/337.74	v -831
337.61/337.74	v 832
337.61/337.74	v -833
337.61/337.74	v -834
337.61/337.74	v -835
337.61/337.74	v -836
337.61/337.74	v -837
337.61/337.74	v -838
337.61/337.74	v -839
337.61/337.74	v -840
337.61/337.74	v -841
337.61/337.74	v -842
337.61/337.74	v -843
337.61/337.74	v -844
337.61/337.74	v -845
337.61/337.74	v -846
337.61/337.74	v -847
337.61/337.74	v -848
337.61/337.74	v -849
337.61/337.74	v -850
337.61/337.74	v -851
337.61/337.74	v 852
337.61/337.74	v -853
337.61/337.74	v -854
337.61/337.74	v -855
337.61/337.74	v -856
337.61/337.74	v -857
337.61/337.74	v -858
337.61/337.74	v -859
337.61/337.74	v -860
337.61/337.74	v -861
337.61/337.74	v -862
337.61/337.74	v -863
337.61/337.74	v -864
337.61/337.74	v -865
337.61/337.74	v 866
337.61/337.74	v -867
337.61/337.74	v -868
337.61/337.74	v -869
337.61/337.74	v -870
337.61/337.74	v -871
337.61/337.74	v -872
337.61/337.74	v -873
337.61/337.74	v -874
337.61/337.74	v -875
337.61/337.74	v -876
337.61/337.74	v -877
337.61/337.74	v -878
337.61/337.74	v -879
337.61/337.74	v -880
337.61/337.74	v -881
337.61/337.74	v -882
337.61/337.74	v -883
337.61/337.74	v -884
337.61/337.74	v -885
337.61/337.74	v -886
337.61/337.74	v -887
337.61/337.74	v -888
337.61/337.74	v -889
337.61/337.74	v -890
337.61/337.74	v -891
337.61/337.74	v -892
337.61/337.74	v 893
337.61/337.74	v -894
337.61/337.74	v -895
337.61/337.74	v -896
337.61/337.74	v -897
337.61/337.74	v -898
337.61/337.74	v -899
337.61/337.74	v -900
337.61/337.74	v -901
337.61/337.74	v -902
337.61/337.74	v -903
337.61/337.74	v -904
337.61/337.74	v -905
337.61/337.74	v -906
337.61/337.74	v -907
337.61/337.74	v -908
337.61/337.74	v -909
337.61/337.74	v -910
337.61/337.74	v -911
337.61/337.74	v -912
337.61/337.74	v -913
337.61/337.74	v -914
337.61/337.74	v -915
337.61/337.74	v -916
337.61/337.74	v -917
337.61/337.74	v -918
337.61/337.74	v -919
337.61/337.74	v -920
337.61/337.74	v -921
337.61/337.74	v -922
337.61/337.74	v -923
337.61/337.74	v -924
337.61/337.74	v -925
337.61/337.74	v -926
337.61/337.74	v -927
337.61/337.74	v -928
337.61/337.74	v 929
337.61/337.74	v -930
337.61/337.74	v -931
337.61/337.74	v -932
337.61/337.74	v -933
337.61/337.74	v 934
337.61/337.74	v -935
337.61/337.74	v -936
337.61/337.74	v -937
337.61/337.74	v -938
337.61/337.74	v -939
337.61/337.74	v -940
337.61/337.74	v -941
337.61/337.74	v -942
337.61/337.74	v -943
337.61/337.74	v -944
337.61/337.74	v -945
337.61/337.74	v 946
337.61/337.74	v -947
337.61/337.74	v -948
337.61/337.74	v -949
337.61/337.74	v -950
337.61/337.74	v -951
337.61/337.74	v -952
337.61/337.74	v -953
337.61/337.74	v -954
337.61/337.74	v -955
337.61/337.74	v -956
337.61/337.74	v -957
337.61/337.74	v -958
337.61/337.74	v -959
337.61/337.74	v -960
337.61/337.74	v -961
337.61/337.74	v -962
337.61/337.74	v -963
337.61/337.74	v 964
337.61/337.74	v -965
337.61/337.74	v -966
337.61/337.74	v -967
337.61/337.74	v -968
337.61/337.74	v -969
337.61/337.74	v -970
337.61/337.74	v -971
337.61/337.74	v -972
337.61/337.74	v -973
337.61/337.74	v -974
337.61/337.74	v -975
337.61/337.74	v -976
337.61/337.74	v -977
337.61/337.74	v -978
337.61/337.74	v -979
337.61/337.74	v -980
337.61/337.74	v -981
337.61/337.74	v -982
337.61/337.74	v -983
337.61/337.74	v -984
337.61/337.74	v -985
337.61/337.74	v -986
337.61/337.74	v -987
337.61/337.74	v -988
337.61/337.74	v -989
337.61/337.74	v -990
337.61/337.74	v -991
337.61/337.74	v 992
337.61/337.74	v -993
337.61/337.74	v -994
337.61/337.74	v -995
337.61/337.74	v -996
337.61/337.74	v -997
337.61/337.74	v -998
337.61/337.74	v -999
337.61/337.74	v -1000
337.61/337.74	v -1001
337.61/337.74	v -1002
337.61/337.74	v -1003
337.61/337.74	v -1004
337.61/337.74	v -1005
337.61/337.74	v -1006
337.61/337.74	v -1007
337.61/337.74	v -1008
337.61/337.74	v -1009
337.61/337.74	v -1010
337.61/337.74	v -1011
337.61/337.74	v -1012
337.61/337.74	v -1013
337.61/337.74	v -1014
337.61/337.74	v -1015
337.61/337.74	v -1016
337.61/337.74	v 1017
337.61/337.74	v -1018
337.61/337.74	v -1019
337.61/337.74	v -1020
337.61/337.74	v -1021
337.61/337.74	v -1022
337.61/337.74	v -1023
337.61/337.74	v -1024
337.61/337.74	v -1025
337.61/337.74	v -1026
337.61/337.74	v -1027
337.61/337.74	v -1028
337.61/337.74	v -1029
337.61/337.74	v -1030
337.61/337.74	v -1031
337.61/337.74	v -1032
337.61/337.74	v -1033
337.61/337.74	v -1034
337.61/337.74	v 1035
337.61/337.74	v -1036
337.61/337.74	v -1037
337.61/337.74	v -1038
337.61/337.74	v 1039
337.61/337.74	v -1040
337.61/337.74	v -1041
337.61/337.74	v -1042
337.61/337.74	v -1043
337.61/337.74	v 1044
337.61/337.74	v -1045
337.61/337.74	v 1046
337.61/337.74	v -1047
337.61/337.74	v 1048
337.61/337.74	v -1049
337.61/337.74	v -1050
337.61/337.74	v -1051
337.61/337.74	v 1052
337.61/337.74	v -1053
337.61/337.74	v -1054
337.61/337.74	v 1055
337.61/337.74	v -1056
337.61/337.74	v -1057
337.61/337.74	v 1058
337.61/337.74	v -1059
337.61/337.74	v -1060
337.61/337.74	v -1061
337.61/337.74	v 1062
337.61/337.74	v -1063
337.61/337.74	v -1064
337.61/337.74	v 1065
337.61/337.74	v -1066
337.61/337.74	v -1067
337.61/337.74	v -1068
337.61/337.74	v 1069
337.61/337.74	v -1070
337.61/337.74	v -1071
337.61/337.74	v -1072
337.61/337.74	v -1073
337.61/337.74	v -1074
337.61/337.74	v -1075
337.61/337.74	v 1076
337.61/337.74	v -1077
337.61/337.74	v -1078
337.61/337.74	v -1079
337.61/337.74	v -1080
337.61/337.74	v -1081
337.61/337.74	v -1082
337.61/337.74	v 1083
337.61/337.74	v -1084
337.61/337.74	v -1085
337.61/337.74	v -1086
337.61/337.74	v -1087
337.61/337.74	v 1088
337.61/337.74	v -1089
337.61/337.74	v -1090
337.61/337.74	v -1091
337.61/337.74	v -1092
337.61/337.74	v 1093
337.61/337.74	v -1094
337.61/337.74	v -1095
337.61/337.74	v 1096
337.61/337.74	v -1097
337.61/337.74	v -1098
337.61/337.74	v -1099
337.61/337.74	v -1100
337.61/337.74	v -1101
337.61/337.74	v -1102
337.61/337.74	v -1103
337.61/337.74	v -1104
337.61/337.74	v 1105
337.61/337.74	v -1106
337.61/337.74	v -1107
337.61/337.74	v -1108
337.61/337.74	v -1109
337.61/337.74	v 1110
337.61/337.74	v -1111
337.61/337.74	v -1112
337.61/337.74	v -1113
337.61/337.74	v -1114
337.61/337.74	v 1115
337.61/337.74	v -1116
337.61/337.74	v -1117
337.61/337.74	v -1118
337.61/337.74	v -1119
337.61/337.74	v -1120
337.61/337.74	v -1121
337.61/337.74	v 1122
337.61/337.74	v -1123
337.61/337.74	v -1124
337.61/337.74	v -1125
337.61/337.74	v -1126
337.61/337.74	v -1127
337.61/337.74	v -1128
337.61/337.74	v -1129
337.61/337.74	v -1130
337.61/337.74	v 1131
337.61/337.74	v -1132
337.61/337.74	v 1133
337.61/337.74	v -1134
337.61/337.74	v -1135
337.61/337.74	v -1136
337.61/337.74	v -1137
337.61/337.74	v 1138
337.61/337.74	v -1139
337.61/337.74	v -1140
337.61/337.74	v -1141
337.61/337.74	v -1142
337.61/337.74	v -1143
337.61/337.74	v 1144
337.61/337.74	v -1145
337.61/337.74	v -1146
337.61/337.74	v 1147
337.61/337.74	v -1148
337.61/337.74	v -1149
337.61/337.74	v -1150
337.61/337.74	v -1151
337.61/337.74	v -1152
337.61/337.74	v -1153
337.61/337.74	v 1154
337.61/337.74	v -1155
337.61/337.74	v -1156
337.61/337.74	v -1157
337.61/337.74	v -1158
337.61/337.74	v -1159
337.61/337.74	v -1160
337.61/337.74	v -1161
337.61/337.74	v 1162
337.61/337.74	v -1163
337.61/337.74	v -1164
337.61/337.74	v -1165
337.61/337.74	v 1166
337.61/337.74	v -1167
337.61/337.74	v -1168
337.61/337.74	v -1169
337.61/337.74	v 1170
337.61/337.74	v -1171
337.61/337.74	v -1172
337.61/337.74	v -1173
337.61/337.74	v -1174
337.61/337.74	v 1175
337.61/337.74	v -1176
337.61/337.74	v -1177
337.61/337.74	v -1178
337.61/337.74	v -1179
337.61/337.74	v -1180
337.61/337.74	v -1181
337.61/337.74	v -1182
337.61/337.74	v 1183
337.61/337.74	v -1184
337.61/337.74	v -1185
337.61/337.74	v -1186
337.61/337.74	v 1187
337.61/337.74	v -1188
337.61/337.74	v -1189
337.61/337.74	v -1190
337.61/337.74	v -1191
337.61/337.74	v 1192
337.61/337.74	v -1193
337.61/337.74	v -1194
337.61/337.74	v -1195
337.61/337.74	v -1196
337.61/337.74	v -1197
337.61/337.74	v -1198
337.61/337.74	v -1199
337.61/337.74	v -1200
337.61/337.74	v 1201
337.61/337.74	v -1202
337.61/337.74	v -1203
337.61/337.74	v -1204
337.61/337.74	v 1205
337.61/337.74	v -1206
337.61/337.74	v 1207
337.61/337.74	v -1208
337.61/337.74	v -1209
337.61/337.74	v -1210
337.61/337.74	v -1211
337.61/337.74	v -1212
337.61/337.74	v -1213
337.61/337.74	v -1214
337.61/337.74	v -1215
337.61/337.74	v -1216
337.61/337.74	v -1217
337.61/337.74	v 1218
337.61/337.74	v -1219
337.61/337.74	v -1220
337.61/337.74	v -1221
337.61/337.74	v -1222
337.61/337.74	v 1223
337.61/337.74	v -1224
337.61/337.74	v 1225
337.61/337.74	v -1226
337.61/337.74	v -1227
337.61/337.74	v -1228
337.61/337.74	v -1229
337.61/337.74	v -1230
337.61/337.74	v -1231
337.61/337.74	v -1232
337.61/337.74	v -1233
337.61/337.74	v 1234
337.61/337.74	v -1235
337.61/337.74	v -1236
337.61/337.74	v -1237
337.61/337.74	v 1238
337.61/337.74	v -1239
337.61/337.74	v -1240
337.61/337.74	v 1241
337.61/337.74	v -1242
337.61/337.74	v -1243
337.61/337.74	v -1244
337.61/337.74	v -1245
337.61/337.74	v -1246
337.61/337.74	v -1247
337.61/337.74	v 1248
337.61/337.74	v -1249
337.61/337.74	v -1250
337.61/337.74	v -1251
337.61/337.74	v -1252
337.61/337.74	v -1253
337.61/337.74	v -1254
337.61/337.74	v 1255
337.61/337.74	v -1256
337.61/337.74	v -1257
337.61/337.74	v 1258
337.61/337.74	v -1259
337.61/337.74	v -1260
337.61/337.74	v -1261
337.61/337.74	v -1262
337.61/337.74	v -1263
337.61/337.74	v -1264
337.61/337.74	v -1265
337.61/337.74	v -1266
337.61/337.74	v -1267
337.61/337.74	v 1268
337.61/337.74	v -1269
337.61/337.74	v 1270
337.61/337.74	v -1271
337.61/337.74	v -1272
337.61/337.74	v -1273
337.61/337.74	v -1274
337.61/337.74	v -1275
337.61/337.74	v -1276
337.61/337.74	v -1277
337.61/337.74	v 1278
337.61/337.74	v 1279
337.61/337.74	v -1280
337.61/337.74	v -1281
337.61/337.74	v -1282
337.61/337.74	v -1283
337.61/337.74	v -1284
337.61/337.74	v -1285
337.61/337.74	v 1286
337.61/337.74	v -1287
337.61/337.74	v -1288
337.61/337.74	v -1289
337.61/337.74	v -1290
337.61/337.74	v 1291
337.61/337.74	v -1292
337.61/337.74	v -1293
337.61/337.74	v -1294
337.61/337.74	v -1295
337.61/337.74	v -1296
337.61/337.74	v -1297
337.61/337.74	v -1298
337.61/337.74	v -1299
337.61/337.74	v -1300
337.61/337.74	v 1301
337.61/337.74	v -1302
337.61/337.74	v -1303
337.61/337.74	v -1304
337.61/337.74	v -1305
337.61/337.74	v 1306
337.61/337.74	v -1307
337.61/337.74	v -1308
337.61/337.74	v -1309
337.61/337.74	v -1310
337.61/337.74	v 1311
337.61/337.74	v -1312
337.61/337.74	v -1313
337.61/337.74	v -1314
337.61/337.74	v 1315
337.61/337.74	v -1316
337.61/337.74	v -1317
337.61/337.74	v -1318
337.61/337.74	v -1319
337.61/337.74	v -1320
337.61/337.74	v 1321
337.61/337.74	v -1322
337.61/337.74	v -1323
337.61/337.74	v -1324
337.61/337.74	v -1325
337.61/337.74	v 1326
337.61/337.74	v -1327
337.61/337.74	v -1328
337.61/337.74	v -1329
337.61/337.74	v -1330
337.61/337.74	v -1331
337.61/337.74	v -1332
337.61/337.74	v -1333
337.61/337.74	v 1334
337.61/337.74	v -1335
337.61/337.74	v -1336
337.61/337.74	v -1337
337.61/337.74	v 1338
337.61/337.74	v -1339
337.61/337.74	v -1340
337.61/337.74	v -1341
337.61/337.74	v -1342
337.61/337.74	v -1343
337.61/337.74	v 1344
337.61/337.74	v -1345
337.61/337.74	v -1346
337.61/337.74	v -1347
337.61/337.74	v -1348
337.61/337.74	v 1349
337.61/337.74	v -1350
337.61/337.74	v 1351
337.61/337.74	v -1352
337.61/337.74	v -1353
337.61/337.74	v -1354
337.61/337.74	v -1355
337.61/337.74	v -1356
337.61/337.74	v -1357
337.61/337.74	v 1358
337.61/337.74	v -1359
337.61/337.74	v -1360
337.61/337.74	v -1361
337.61/337.74	v -1362
337.61/337.74	v -1363
337.61/337.74	v -1364
337.61/337.74	v -1365
337.61/337.74	v 1366
337.61/337.74	v -1367
337.61/337.74	v -1368
337.61/337.74	v -1369
337.61/337.74	v -1370
337.61/337.74	v 1371
337.61/337.74	v -1372
337.61/337.74	v -1373
337.61/337.74	v -1374
337.61/337.74	v 1375
337.61/337.74	v -1376
337.61/337.74	v -1377
337.61/337.74	v -1378
337.61/337.74	v -1379
337.61/337.74	v -1380
337.61/337.74	v -1381
337.61/337.74	v 1382
337.61/337.74	v -1383
337.61/337.74	v 1384
337.61/337.74	v -1385
337.61/337.74	v -1386
337.61/337.74	v -1387
337.61/337.74	v -1388
337.61/337.74	v -1389
337.61/337.74	v -1390
337.61/337.74	v 1391
337.61/337.74	v -1392
337.61/337.74	v -1393
337.61/337.74	v -1394
337.61/337.74	v -1395
337.61/337.74	v 1396
337.61/337.74	v -1397
337.61/337.74	v -1398
337.61/337.74	v -1399
337.61/337.74	v -1400
337.61/337.74	v -1401
337.61/337.74	v -1402
337.61/337.74	v -1403
337.61/337.74	v -1404
337.61/337.74	v 1405
337.61/337.74	v -1406
337.61/337.74	v -1407
337.61/337.74	v -1408
337.61/337.74	v -1409
337.61/337.74	v -1410
337.61/337.74	v -1411
337.61/337.74	v -1412
337.61/337.74	v 1413
337.61/337.74	v -1414
337.61/337.74	v -1415
337.61/337.74	v -1416
337.61/337.74	v -1417
337.61/337.74	v 1418
337.61/337.74	v -1419
337.61/337.74	v 1420
337.61/337.74	v -1421
337.61/337.74	v -1422
337.61/337.74	v -1423
337.61/337.74	v -1424
337.61/337.74	v -1425
337.61/337.74	v 1426
337.61/337.74	v -1427
337.61/337.74	v -1428
337.61/337.74	v -1429
337.61/337.74	v 1430
337.61/337.74	v -1431
337.61/337.74	v -1432
337.61/337.74	v -1433
337.61/337.74	v -1434
337.61/337.74	v -1435
337.61/337.74	v -1436
337.61/337.74	v 1437
337.61/337.74	v -1438
337.61/337.74	v -1439
337.61/337.74	v -1440
337.61/337.74	v -1441
337.61/337.74	v 1442
337.61/337.74	v -1443
337.61/337.74	v -1444
337.61/337.74	v -1445
337.61/337.74	v -1446
337.61/337.74	v -1447
337.61/337.74	v 1448
337.61/337.74	v -1449
337.61/337.74	v -1450
337.61/337.74	v -1451
337.61/337.74	v -1452
337.61/337.74	v -1453
337.61/337.74	v 1454
337.61/337.74	v -1455
337.61/337.74	v -1456
337.61/337.74	v 1457
337.61/337.74	v -1458
337.61/337.74	v -1459
337.61/337.74	v 1460
337.61/337.74	v -1461
337.61/337.74	v 1462
337.61/337.74	v -1463
337.61/337.74	v -1464
337.61/337.74	v 1465
337.61/337.74	v -1466
337.61/337.74	v -1467
337.61/337.74	v -1468
337.61/337.74	v 1469
337.61/337.74	v -1470
337.61/337.74	v 1471
337.61/337.74	v -1472
337.61/337.74	v -1473
337.61/337.74	v 0
337.61/337.74	c Done in 337.630000 seconds

Verifier Data 

OK

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1562383-1238774478/watcher-1562383-1238774478 -o /tmp/evaluation-result-1562383-1238774478/solver-1562383-1238774478 -C 1200 -W 1800 -M 1800 --output-limit 1,15 HOME/hybridGM7 HOME/instance-1562383-1238774478.cnf 503931850 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 16256
/proc/meminfo: memFree=1867112/2055920 swapFree=4176920/4192956
[pid=16256] ppid=16254 vsize=260600 CPUtime=0
/proc/16256/stat : 16256 (hybridGM7) R 16254 16256 15850 0 -1 4194304 859 0 0 0 0 0 0 0 18 0 1 0 1150109899 266854400 843 1992294400 134512640 135204385 4294956208 18446744073709551615 134542712 0 0 4096 0 0 0 0 17 1 0 0
/proc/16256/statm: 65150 850 55 168 0 64980 0

[startup+0.085143 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 16256
/proc/meminfo: memFree=1867112/2055920 swapFree=4176920/4192956
[pid=16256] ppid=16254 vsize=268416 CPUtime=0.08
/proc/16256/stat : 16256 (hybridGM7) R 16254 16256 15850 0 -1 4194304 4859 0 0 0 6 2 0 0 18 0 1 0 1150109899 274857984 4842 1992294400 134512640 135204385 4294956208 18446744073709551615 134537943 0 0 4096 0 0 0 0 17 1 0 0
/proc/16256/statm: 67104 4842 63 168 0 66934 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 268416

[startup+0.101143 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 16256
/proc/meminfo: memFree=1867112/2055920 swapFree=4176920/4192956
[pid=16256] ppid=16254 vsize=268416 CPUtime=0.09
/proc/16256/stat : 16256 (hybridGM7) R 16254 16256 15850 0 -1 4194304 4859 0 0 0 7 2 0 0 18 0 1 0 1150109899 274857984 4842 1992294400 134512640 135204385 4294956208 18446744073709551615 134538284 0 0 4096 0 0 0 0 17 1 0 0
/proc/16256/statm: 67104 4842 63 168 0 66934 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 268416

[startup+0.301161 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 16256
/proc/meminfo: memFree=1867112/2055920 swapFree=4176920/4192956
[pid=16256] ppid=16254 vsize=268416 CPUtime=0.29
/proc/16256/stat : 16256 (hybridGM7) R 16254 16256 15850 0 -1 4194304 4859 0 0 0 27 2 0 0 19 0 1 0 1150109899 274857984 4842 1992294400 134512640 135204385 4294956208 18446744073709551615 134538148 0 0 4096 0 0 0 0 17 1 0 0
/proc/16256/statm: 67104 4842 63 168 0 66934 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 268416

[startup+0.701196 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 16256
/proc/meminfo: memFree=1867112/2055920 swapFree=4176920/4192956
[pid=16256] ppid=16254 vsize=268416 CPUtime=0.69
/proc/16256/stat : 16256 (hybridGM7) R 16254 16256 15850 0 -1 4194304 4859 0 0 0 67 2 0 0 22 0 1 0 1150109899 274857984 4842 1992294400 134512640 135204385 4294956208 18446744073709551615 134538047 0 0 4096 0 0 0 0 17 1 0 0
/proc/16256/statm: 67104 4842 63 168 0 66934 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 268416

[startup+1.50127 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 16257
/proc/meminfo: memFree=1847840/2055920 swapFree=4176920/4192956
[pid=16256] ppid=16254 vsize=268416 CPUtime=1.49
/proc/16256/stat : 16256 (hybridGM7) R 16254 16256 15850 0 -1 4194304 4859 0 0 0 147 2 0 0 25 0 1 0 1150109899 274857984 4842 1992294400 134512640 135204385 4294956208 18446744073709551615 134538284 0 0 4096 0 0 0 0 17 1 0 0
/proc/16256/statm: 67104 4842 63 168 0 66934 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 268416

[startup+3.10241 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 16257
/proc/meminfo: memFree=1847712/2055920 swapFree=4176920/4192956
[pid=16256] ppid=16254 vsize=268416 CPUtime=3.09
/proc/16256/stat : 16256 (hybridGM7) R 16254 16256 15850 0 -1 4194304 4859 0 0 0 307 2 0 0 25 0 1 0 1150109899 274857984 4842 1992294400 134512640 135204385 4294956208 18446744073709551615 134538395 0 0 4096 0 0 0 0 17 1 0 0
/proc/16256/statm: 67104 4842 63 168 0 66934 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 268416

[startup+6.30169 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 16257
/proc/meminfo: memFree=1847656/2055920 swapFree=4176920/4192956
[pid=16256] ppid=16254 vsize=268416 CPUtime=6.29
/proc/16256/stat : 16256 (hybridGM7) R 16254 16256 15850 0 -1 4194304 4859 0 0 0 627 2 0 0 25 0 1 0 1150109899 274857984 4842 1992294400 134512640 135204385 4294956208 18446744073709551615 134538395 0 0 4096 0 0 0 0 17 1 0 0
/proc/16256/statm: 67104 4842 63 168 0 66934 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 268416

[startup+12.7013 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 16257
/proc/meminfo: memFree=1847656/2055920 swapFree=4176920/4192956
[pid=16256] ppid=16254 vsize=268416 CPUtime=12.69
/proc/16256/stat : 16256 (hybridGM7) R 16254 16256 15850 0 -1 4194304 4859 0 0 0 1267 2 0 0 25 0 1 0 1150109899 274857984 4842 1992294400 134512640 135204385 4294956208 18446744073709551615 134538264 0 0 4096 0 0 0 0 17 1 0 0
/proc/16256/statm: 67104 4842 63 168 0 66934 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 268416

[startup+25.5014 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 16257
/proc/meminfo: memFree=1847656/2055920 swapFree=4176920/4192956
[pid=16256] ppid=16254 vsize=268416 CPUtime=25.49
/proc/16256/stat : 16256 (hybridGM7) R 16254 16256 15850 0 -1 4194304 4859 0 0 0 2547 2 0 0 25 0 1 0 1150109899 274857984 4842 1992294400 134512640 135204385 4294956208 18446744073709551615 134538411 0 0 4096 0 0 0 0 17 1 0 0
/proc/16256/statm: 67104 4842 63 168 0 66934 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 268416

[startup+51.1016 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 16257
/proc/meminfo: memFree=1847720/2055920 swapFree=4176920/4192956
[pid=16256] ppid=16254 vsize=268416 CPUtime=51.08
/proc/16256/stat : 16256 (hybridGM7) R 16254 16256 15850 0 -1 4194304 4859 0 0 0 5106 2 0 0 25 0 1 0 1150109899 274857984 4842 1992294400 134512640 135204385 4294956208 18446744073709551615 134538421 0 0 4096 0 0 0 0 17 1 0 0
/proc/16256/statm: 67104 4842 63 168 0 66934 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 268416

[startup+102.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 16257
/proc/meminfo: memFree=1847720/2055920 swapFree=4176920/4192956
[pid=16256] ppid=16254 vsize=268416 CPUtime=102.27
/proc/16256/stat : 16256 (hybridGM7) R 16254 16256 15850 0 -1 4194304 4859 0 0 0 10225 2 0 0 25 0 1 0 1150109899 274857984 4842 1992294400 134512640 135204385 4294956208 18446744073709551615 134538449 0 0 4096 0 0 0 0 17 1 0 0
/proc/16256/statm: 67104 4842 63 168 0 66934 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 268416

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 16257
/proc/meminfo: memFree=1847656/2055920 swapFree=4176920/4192956
[pid=16256] ppid=16254 vsize=268416 CPUtime=162.26
/proc/16256/stat : 16256 (hybridGM7) R 16254 16256 15850 0 -1 4194304 4859 0 0 0 16223 3 0 0 25 0 1 0 1150109899 274857984 4842 1992294400 134512640 135204385 4294956208 18446744073709551615 134538395 0 0 4096 0 0 0 0 17 1 0 0
/proc/16256/statm: 67104 4842 63 168 0 66934 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 268416

[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 16257
/proc/meminfo: memFree=1847656/2055920 swapFree=4176920/4192956
[pid=16256] ppid=16254 vsize=268416 CPUtime=222.24
/proc/16256/stat : 16256 (hybridGM7) R 16254 16256 15850 0 -1 4194304 4859 0 0 0 22221 3 0 0 25 0 1 0 1150109899 274857984 4842 1992294400 134512640 135204385 4294956208 18446744073709551615 134545297 0 0 4096 0 0 0 0 17 1 0 0
/proc/16256/statm: 67104 4842 63 168 0 66934 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 268416

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 16257
/proc/meminfo: memFree=1847592/2055920 swapFree=4176920/4192956
[pid=16256] ppid=16254 vsize=268416 CPUtime=282.22
/proc/16256/stat : 16256 (hybridGM7) R 16254 16256 15850 0 -1 4194304 4859 0 0 0 28219 3 0 0 25 0 1 0 1150109899 274857984 4842 1992294400 134512640 135204385 4294956208 18446744073709551615 134538068 0 0 4096 0 0 0 0 17 1 0 0
/proc/16256/statm: 67104 4842 63 168 0 66934 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 268416

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

[startup+307.101 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 16257
/proc/meminfo: memFree=1847592/2055920 swapFree=4176920/4192956
[pid=16256] ppid=16254 vsize=268416 CPUtime=307.02
/proc/16256/stat : 16256 (hybridGM7) R 16254 16256 15850 0 -1 4194304 4859 0 0 0 30699 3 0 0 25 0 1 0 1150109899 274857984 4842 1992294400 134512640 135204385 4294956208 18446744073709551615 134545449 0 0 4096 0 0 0 0 17 1 0 0
/proc/16256/statm: 67104 4842 63 168 0 66934 0
Current children cumulated CPU time (s) 307.02
Current children cumulated vsize (KiB) 268416

[startup+319.901 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 16257
/proc/meminfo: memFree=1847592/2055920 swapFree=4176920/4192956
[pid=16256] ppid=16254 vsize=268416 CPUtime=319.81
/proc/16256/stat : 16256 (hybridGM7) R 16254 16256 15850 0 -1 4194304 4859 0 0 0 31978 3 0 0 25 0 1 0 1150109899 274857984 4842 1992294400 134512640 135204385 4294956208 18446744073709551615 134538061 0 0 4096 0 0 0 0 17 1 0 0
/proc/16256/statm: 67104 4842 63 168 0 66934 0
Current children cumulated CPU time (s) 319.81
Current children cumulated vsize (KiB) 268416

[startup+326.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 16257
/proc/meminfo: memFree=1847592/2055920 swapFree=4176920/4192956
[pid=16256] ppid=16254 vsize=268416 CPUtime=326.21
/proc/16256/stat : 16256 (hybridGM7) R 16254 16256 15850 0 -1 4194304 4859 0 0 0 32618 3 0 0 25 0 1 0 1150109899 274857984 4842 1992294400 134512640 135204385 4294956208 18446744073709551615 134538264 0 0 4096 0 0 0 0 17 1 0 0
/proc/16256/statm: 67104 4842 63 168 0 66934 0
Current children cumulated CPU time (s) 326.21
Current children cumulated vsize (KiB) 268416

[startup+332.701 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 16257
/proc/meminfo: memFree=1847528/2055920 swapFree=4176920/4192956
[pid=16256] ppid=16254 vsize=268416 CPUtime=332.61
/proc/16256/stat : 16256 (hybridGM7) R 16254 16256 15850 0 -1 4194304 4859 0 0 0 33258 3 0 0 25 0 1 0 1150109899 274857984 4842 1992294400 134512640 135204385 4294956208 18446744073709551615 134538302 0 0 4096 0 0 0 0 17 1 0 0
/proc/16256/statm: 67104 4842 63 168 0 66934 0
Current children cumulated CPU time (s) 332.61
Current children cumulated vsize (KiB) 268416

[startup+335.902 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 16257
/proc/meminfo: memFree=1847528/2055920 swapFree=4176920/4192956
[pid=16256] ppid=16254 vsize=268416 CPUtime=335.81
/proc/16256/stat : 16256 (hybridGM7) R 16254 16256 15850 0 -1 4194304 4859 0 0 0 33578 3 0 0 25 0 1 0 1150109899 274857984 4842 1992294400 134512640 135204385 4294956208 18446744073709551615 134538559 0 0 4096 0 0 0 0 17 1 0 0
/proc/16256/statm: 67104 4842 63 168 0 66934 0
Current children cumulated CPU time (s) 335.81
Current children cumulated vsize (KiB) 268416

[startup+336.703 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 16257
/proc/meminfo: memFree=1847528/2055920 swapFree=4176920/4192956
[pid=16256] ppid=16254 vsize=268416 CPUtime=336.61
/proc/16256/stat : 16256 (hybridGM7) R 16254 16256 15850 0 -1 4194304 4859 0 0 0 33658 3 0 0 25 0 1 0 1150109899 274857984 4842 1992294400 134512640 135204385 4294956208 18446744073709551615 134538171 0 0 4096 0 0 0 0 17 1 0 0
/proc/16256/statm: 67104 4842 63 168 0 66934 0
Current children cumulated CPU time (s) 336.61
Current children cumulated vsize (KiB) 268416

[startup+337.502 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 16257
/proc/meminfo: memFree=1847528/2055920 swapFree=4176920/4192956
[pid=16256] ppid=16254 vsize=268416 CPUtime=337.41
/proc/16256/stat : 16256 (hybridGM7) R 16254 16256 15850 0 -1 4194304 4859 0 0 0 33738 3 0 0 25 0 1 0 1150109899 274857984 4842 1992294400 134512640 135204385 4294956208 18446744073709551615 134538041 0 0 4096 0 0 0 0 17 1 0 0
/proc/16256/statm: 67104 4842 63 168 0 66934 0
Current children cumulated CPU time (s) 337.41
Current children cumulated vsize (KiB) 268416

[startup+337.706 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 16257
/proc/meminfo: memFree=1847528/2055920 swapFree=4176920/4192956
[pid=16256] ppid=16254 vsize=268416 CPUtime=337.61
/proc/16256/stat : 16256 (hybridGM7) R 16254 16256 15850 0 -1 4194304 4859 0 0 0 33758 3 0 0 25 0 1 0 1150109899 274857984 4842 1992294400 134512640 135204385 4294956208 18446744073709551615 134538282 0 0 4096 0 0 0 0 17 1 0 0
/proc/16256/statm: 67104 4842 63 168 0 66934 0
Current children cumulated CPU time (s) 337.61
Current children cumulated vsize (KiB) 268416

Child status: 10
Real time (s): 337.749
CPU time (s): 337.662
CPU user time (s): 337.619
CPU system time (s): 0.042993
CPU usage (%): 99.9741
Max. virtual memory (cumulated for all children) (KiB): 268416

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 337.619
system time used= 0.042993
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4874
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8
involuntary context switches= 289

runsolver used 0.237963 second user time and 0.769882 second system time

The end

Launcher Data 

Begin job on node50 at 2009-04-03 18:01:18
IDJOB=1562383
IDBENCH=70933
IDSOLVER=535
FILE ID=node50/1562383-1238774478
PBS_JOBID= 9085536
Free space on /tmp= 66508 MiB

SOLVER NAME= hybridGM7 7
BENCH NAME= SAT09/APPLICATIONS/edgematching/fbcolors/em_7_3_6_fbc.cnf
COMMAND LINE= HOME/hybridGM7 BENCHNAME RANDOMSEED 
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1562383-1238774478/watcher-1562383-1238774478 -o /tmp/evaluation-result-1562383-1238774478/solver-1562383-1238774478 -C 1200 -W 1800 -M 1800 --output-limit 1,15  HOME/hybridGM7 HOME/instance-1562383-1238774478.cnf 503931850 

TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= 0d842dabe9c6c8be4b2c1160578a7c22
RANDOM SEED=503931850

node50.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.238
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.238
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1867528 kB
Buffers:          9992 kB
Cached:         103736 kB
SwapCached:       9692 kB
Active:           7676 kB
Inactive:       117440 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1867528 kB
SwapTotal:     4192956 kB
SwapFree:      4176920 kB
Dirty:            1396 kB
Writeback:           0 kB
Mapped:          17184 kB
Slab:            49236 kB
Committed_AS:  3420996 kB
PageTables:       1456 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66508 MiB
End job on node50 at 2009-04-03 18:06:56