Trace number 275804

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, and are wall clock time (not CPU 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
AbsconMax 109 EPFCOPTIMUM 496.215 500.938

General information on the benchmark

Namerlfap/rlfapScensMod/
scen7-w1-f5.xml
MD5SUM34ac1abbe52ba7843e11079c085ad2f4
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkMOPT
Best Number of satisfied constraints659
Best CPU time to get the best result obtained on this benchmark496.215
SatisfiableNO
(Un)Satisfiability was provedNO
Number of variables400
Number of constraints660
Maximum constraint arity2
Maximum domain size39
Number of constraints which are defined in extension0
Number of constraints which are defined in intension660
Global constraints used (with number of constraints)

Quality of the solution as a function of time


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

Solver Data (download as text)

0.41	   
0.41	Abscon 109 (November, 2006)
0.41	   
0.41	   configuration
0.41	     name=epfc.xml
0.44	   
0.44	   instance
0.44	     name=/tmp/evaluation/275804-1169227446/unknown.xml
0.48	   
0.48	   domains being loaded...
0.48	   
0.48	   variables being loaded...
0.56	     nbVariables=400  nbDomainTypes=3  minDomainSize=22  maxDomainSize=39
0.56	       =>  wckTime=0.15  cpuTime=0.11  mem=7M852
0.56	   
0.56	   predicates being loaded...
0.57	   
0.57	   constraints being loaded...
0.91	     nbConstraints=660  nbConvertedConstraints=660  nbConvertConstraintsChecks=203915  nbExtensionStructures=168
0.91	     nbSharedExtensionStructures=492  nbConflictsStructures=168  nbSharedConflictsStructures=492
0.91	     nbSharedBinaryRepresentations=10887  maxDegree=10  maxArity=2
0.91	       =>  wckTime=0.494  cpuTime=0.36  mem=12M728
0.96	   
0.96	   solver LocalSearchSolver being built... 
1.00	       =>  wckTime=0.583  cpuTime=0.4  mem=6M392
1.01	
1.01	s SATISFIABLE
1.01	o 271
1.01	c 389
1.01	o 275
1.01	c 385
1.01	o 279
1.01	c 381
1.02	o 283
1.02	c 377
1.02	o 287
1.02	c 373
1.02	o 291
1.02	c 369
1.02	o 295
1.02	c 365
1.02	o 299
1.02	c 361
1.03	o 302
1.03	c 358
1.03	o 305
1.03	c 355
1.03	o 308
1.03	c 352
1.03	o 311
1.03	c 349
1.03	o 314
1.03	c 346
1.03	o 317
1.03	c 343
1.03	o 320
1.03	c 340
1.03	o 323
1.03	c 337
1.03	o 326
1.03	c 334
1.04	o 329
1.04	c 331
1.04	o 332
1.04	c 328
1.04	o 335
1.04	c 325
1.04	o 337
1.04	c 323
1.05	o 339
1.05	c 321
1.05	o 341
1.05	c 319
1.05	o 342
1.05	c 318
1.05	o 343
1.05	c 317
1.05	o 344
1.05	c 316
1.05	o 346
1.05	c 314
1.05	o 347
1.05	c 313
1.05	o 350
1.05	c 310
1.05	o 352
1.06	c 308
1.06	o 354
1.06	c 306
1.06	o 356
1.06	c 304
1.06	o 358
1.06	c 302
1.06	o 360
1.06	c 300
1.06	o 362
1.06	c 298
1.07	o 364
1.07	c 296
1.07	o 366
1.07	c 294
1.07	o 368
1.07	c 292
1.07	o 370
1.07	c 290
1.07	o 372
1.07	c 288
1.07	o 374
1.07	c 286
1.08	o 376
1.08	c 284
1.08	o 378
1.08	c 282
1.08	o 380
1.08	c 280
1.08	o 382
1.08	c 278
1.08	o 384
1.08	c 276
1.08	o 386
1.08	c 274
1.08	o 388
1.08	c 272
1.09	o 390
1.09	c 270
1.09	o 392
1.09	c 268
1.09	o 394
1.09	c 266
1.09	o 396
1.09	c 264
1.09	o 398
1.09	c 262
1.09	o 400
1.09	c 260
1.09	o 402
1.09	c 258
1.10	o 404
1.10	c 256
1.10	o 406
1.10	c 254
1.10	o 408
1.10	c 252
1.10	o 410
1.10	c 250
1.10	o 412
1.10	c 248
1.10	o 414
1.10	c 246
1.10	o 416
1.10	c 244
1.10	o 418
1.10	c 242
1.11	o 420
1.11	c 240
1.11	o 422
1.11	c 238
1.11	o 424
1.11	c 236
1.11	o 426
1.11	c 234
1.11	o 428
1.11	c 232
1.11	o 429
1.11	c 231
1.11	o 430
1.11	c 230
1.11	o 431
1.11	c 229
1.12	o 432
1.12	c 228
1.12	o 433
1.12	c 227
1.12	o 434
1.12	c 226
1.12	o 435
1.12	c 225
1.13	o 436
1.13	c 224
1.13	o 437
1.13	c 223
1.13	o 438
1.13	c 222
1.13	o 440
1.13	c 220
1.13	o 442
1.13	c 218
1.14	o 444
1.14	c 216
1.14	o 446
1.14	c 214
1.14	o 448
1.14	c 212
1.14	o 450
1.14	c 210
1.14	o 452
1.14	c 208
1.14	o 454
1.15	c 206
1.15	o 456
1.15	c 204
1.15	o 457
1.15	c 203
1.15	o 458
1.15	c 202
1.15	o 461
1.15	c 199
1.15	o 463
1.15	c 197
1.15	o 465
1.15	c 195
1.16	o 467
1.16	c 193
1.16	o 468
1.16	c 192
1.16	o 469
1.16	c 191
1.16	o 470
1.16	c 190
1.17	o 471
1.17	c 189
1.17	o 472
1.17	c 188
1.17	o 473
1.17	c 187
1.17	o 474
1.17	c 186
1.17	o 475
1.17	c 185
1.18	o 476
1.18	c 184
1.18	o 477
1.18	c 183
1.18	o 478
1.18	c 182
1.18	o 479
1.18	c 181
1.19	o 480
1.19	c 180
1.19	o 481
1.19	c 179
1.19	o 482
1.19	c 178
1.19	o 483
1.19	c 177
1.20	o 484
1.20	c 176
1.20	o 485
1.20	c 175
1.20	o 486
1.20	c 174
1.20	o 487
1.20	c 173
1.20	o 488
1.20	c 172
1.21	o 489
1.21	c 171
1.21	o 490
1.21	c 170
1.21	o 491
1.21	c 169
1.21	o 492
1.21	c 168
1.22	o 493
1.22	c 167
1.22	o 494
1.22	c 166
1.22	o 496
1.22	c 164
1.22	o 497
1.22	c 163
1.22	o 498
1.22	c 162
1.23	o 499
1.23	c 161
1.23	o 500
1.23	c 160
1.23	o 501
1.23	c 159
1.23	o 502
1.23	c 158
1.24	o 503
1.24	c 157
1.24	o 504
1.24	c 156
1.24	o 505
1.24	c 155
1.24	o 506
1.24	c 154
1.24	o 507
1.24	c 153
1.24	o 508
1.24	c 152
1.25	o 509
1.25	c 151
1.25	o 510
1.25	c 150
1.25	o 511
1.25	c 149
1.25	o 512
1.25	c 148
1.25	o 513
1.25	c 147
1.26	o 515
1.26	c 145
1.26	o 516
1.26	c 144
1.26	o 517
1.26	c 143
1.26	o 518
1.26	c 142
1.26	o 519
1.26	c 141
1.26	o 520
1.26	c 140
1.27	o 521
1.27	c 139
1.27	o 522
1.27	c 138
1.27	o 523
1.27	c 137
1.27	o 524
1.27	c 136
1.28	o 525
1.28	c 135
1.28	o 526
1.28	c 134
1.28	o 527
1.28	c 133
1.28	o 528
1.28	c 132
1.28	o 529
1.28	c 131
1.29	o 530
1.29	c 130
1.29	o 531
1.29	c 129
1.29	o 532
1.29	c 128
1.29	o 533
1.29	c 127
1.29	o 534
1.29	c 126
1.29	o 535
1.29	c 125
1.30	o 536
1.30	c 124
1.30	o 537
1.30	c 123
1.30	o 538
1.30	c 122
1.30	o 539
1.30	c 121
1.30	o 540
1.30	c 120
1.30	o 541
1.30	c 119
1.30	o 542
1.30	c 118
1.31	o 543
1.31	c 117
1.31	o 544
1.31	c 116
1.31	o 545
1.31	c 115
1.31	o 546
1.31	c 114
1.31	o 547
1.31	c 113
1.31	o 548
1.31	c 112
1.32	o 549
1.32	c 111
1.32	o 550
1.32	c 110
1.32	o 551
1.32	c 109
1.32	o 552
1.32	c 108
1.32	o 553
1.32	c 107
1.32	o 554
1.32	c 106
1.33	o 555
1.33	c 105
1.33	o 556
1.33	c 104
1.33	o 557
1.33	c 103
1.33	o 558
1.33	c 102
1.33	o 559
1.33	c 101
1.33	o 560
1.33	c 100
1.33	o 561
1.33	c 99
1.34	o 562
1.34	c 98
1.34	o 563
1.34	c 97
1.34	o 564
1.34	c 96
1.34	o 565
1.34	c 95
1.34	o 566
1.34	c 94
1.35	o 567
1.35	c 93
1.35	o 568
1.35	c 92
1.35	o 569
1.35	c 91
1.42	o 570
1.42	c 90
1.42	o 571
1.42	c 89
1.43	o 572
1.43	c 88
1.44	o 573
1.44	c 87
1.44	o 574
1.44	c 86
1.45	o 575
1.45	c 85
1.45	o 576
1.45	c 84
1.45	o 577
1.45	c 83
1.45	o 578
1.45	c 82
1.46	o 579
1.46	c 81
1.47	o 580
1.47	c 80
1.47	o 581
1.47	c 79
1.47	o 583
1.47	c 77
1.47	o 584
1.47	c 76
1.47	o 585
1.47	c 75
1.48	o 586
1.48	c 74
1.48	o 587
1.48	c 73
1.49	o 588
1.49	c 72
1.49	o 589
1.49	c 71
1.50	o 590
1.50	c 70
1.53	o 591
1.53	c 69
1.53	o 592
1.53	c 68
1.53	o 593
1.53	c 67
1.53	o 594
1.53	c 66
1.54	o 596
1.54	c 64
1.54	o 597
1.54	c 63
1.54	o 599
1.54	c 61
1.55	o 600
1.55	c 60
1.55	o 602
1.55	c 58
1.55	o 603
1.55	c 57
1.58	o 604
1.58	c 56
1.58	o 605
1.58	c 55
1.59	o 606
1.59	c 54
1.59	o 607
1.59	c 53
1.61	o 608
1.61	c 52
1.61	o 609
1.61	c 51
1.65	o 611
1.65	c 49
1.65	o 612
1.65	c 48
1.68	o 613
1.68	c 47
1.69	o 615
1.69	c 45
1.70	o 616
1.70	c 44
1.74	o 617
1.74	c 43
1.74	o 618
1.74	c 42
1.82	o 619
1.82	c 41
1.82	o 620
1.82	c 40
1.88	o 621
1.88	c 39
1.88	o 622
1.88	c 38
1.90	o 623
1.90	c 37
1.91	o 624
1.91	c 36
1.91	o 625
1.91	c 35
1.95	o 627
1.95	c 33
1.95	o 628
1.95	c 32
1.96	o 629
1.96	c 31
1.98	o 630
1.98	c 30
2.01	o 631
2.01	c 29
2.19	o 632
2.19	c 28
2.19	o 633
2.19	c 27
2.31	o 634
2.31	c 26
2.31	o 635
2.31	c 25
2.41	o 636
2.41	c 24
2.45	o 638
2.45	c 22
2.50	o 639
2.50	c 21
2.52	o 640
2.52	c 20
2.52	o 641
2.52	c 19
2.52	o 642
2.52	c 18
2.53	o 643
2.53	c 17
2.54	o 644
2.54	c 16
3.22	o 645
3.22	c 15
3.49	o 646
3.49	c 14
3.53	o 647
3.54	c 13
3.72	o 648
3.72	c 12
3.82	o 649
3.82	c 11
5.92	   
5.92	   search
5.92	     run=0  nbConstraintChecks=37102433  nbAssignments=10000
5.92	       =>  wckTime=4.921  cpuTime=4.83  mem=6M392
6.00	o 650
6.00	c 10
6.31	o 651
6.31	c 9
10.72	   
10.72	   search
10.72	     run=1  nbConstraintChecks=74165673  nbAssignments=20000
10.72	       =>  wckTime=9.726  cpuTime=9.59  mem=6M392
11.95	o 652
11.95	c 8
11.99	o 654
11.99	c 6
14.57	   
14.57	   search
14.57	     run=2  nbConstraintChecks=102720253  nbAssignments=30000
14.57	       =>  wckTime=13.577  cpuTime=13.41  mem=6M392
18.11	   
18.11	   search
18.11	     run=3  nbConstraintChecks=128357198  nbAssignments=40000
18.11	       =>  wckTime=17.116  cpuTime=16.9  mem=6M392
21.97	   
21.97	   search
21.97	     run=4  nbConstraintChecks=156505954  nbAssignments=50000
21.97	       =>  wckTime=20.98  cpuTime=20.73  mem=6M392
26.59	   
26.59	   search
26.59	     run=5  nbConstraintChecks=191252152  nbAssignments=60000
26.59	       =>  wckTime=25.594  cpuTime=25.3  mem=6M392
26.61	o 655
26.61	c 5
26.72	o 656
26.72	c 4
26.83	o 657
26.83	c 3
32.83	   
32.83	   search
32.83	     run=6  nbConstraintChecks=240075415  nbAssignments=70000
32.83	       =>  wckTime=31.834  cpuTime=31.48  mem=6M392
37.28	   
37.28	   search
37.28	     run=7  nbConstraintChecks=274109770  nbAssignments=80000
37.28	       =>  wckTime=36.287  cpuTime=35.9  mem=6M392
41.69	   
41.69	   search
41.69	     run=8  nbConstraintChecks=306904352  nbAssignments=90000
41.69	       =>  wckTime=40.695  cpuTime=40.27  mem=6M392
45.66	   
45.66	   search
45.66	     run=9  nbConstraintChecks=336379154  nbAssignments=100000
45.66	       =>  wckTime=44.668  cpuTime=44.2  mem=6M392
46.53	o 658
46.53	c 2
54.80	   
54.80	   search
54.80	     run=10  nbConstraintChecks=410532564  nbAssignments=110000
54.80	       =>  wckTime=53.809  cpuTime=53.26  mem=6M392
66.24	   
66.24	   search
66.24	     run=11  nbConstraintChecks=506502788  nbAssignments=120000
66.24	       =>  wckTime=65.244  cpuTime=64.59  mem=6M392
76.80	   
76.80	   search
76.80	     run=12  nbConstraintChecks=594167071  nbAssignments=128284
76.80	       =>  wckTime=75.808  cpuTime=75.07  mem=6M392
76.81	   
76.81	   global
76.81	     nbConstraintChecks=594167071  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
76.81	     solvingWckTime=75.806  solvingCpuTime=75.07  expiredTime=no  totalExploration=no  nbFoundSolutions=0
76.81	     globalCpuTime=75.52
76.81	       =>  wckTime=76.392  cpuTime=75.47  mem=6M392
76.81	   
76.81	   solver IterativeSystematicSolver being built... 
76.98	       =>  wckTime=76.568  cpuTime=75.59  mem=19M299
87.64	   
87.64	   preprocessing
87.64	     nbConstraintChecks=8745650  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=175
87.64	     detectedInconsistency=no
87.64	       =>  wckTime=10.661  cpuTime=10.53  mem=19M299
99.97	   
99.97	   search
99.97	     run=0  nbConstraintChecks=6586499  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=166
99.97	     nbFailedAssignments=146  nbBacktracks=11  nbVisitedNodes=324  nbRestartNogoods=0
99.97	       =>  wckTime=22.988  cpuTime=22.74  mem=19M299
101.62	   
101.62	   search
101.62	     run=1  nbConstraintChecks=8705439  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=253
101.62	     nbFailedAssignments=194  nbBacktracks=26  nbVisitedNodes=470  nbRestartNogoods=3
101.62	       =>  wckTime=24.634  cpuTime=24.36  mem=19M299
113.46	   
113.46	   search
113.46	     run=2  nbConstraintChecks=12852263  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=359
113.46	     nbFailedAssignments=273  nbBacktracks=48  nbVisitedNodes=675  nbRestartNogoods=38
113.46	       =>  wckTime=36.478  cpuTime=36.09  mem=19M299
149.62	   
149.62	   search
149.62	     run=3  nbConstraintChecks=29408194  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=777
149.62	     nbFailedAssignments=649  nbBacktracks=81  nbVisitedNodes=1500  nbRestartNogoods=58
149.62	       =>  wckTime=72.639  cpuTime=71.92  mem=19M299
157.75	   
157.75	   search
157.75	     run=4  nbConstraintChecks=34346426  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=947
157.75	     nbFailedAssignments=756  nbBacktracks=132  nbVisitedNodes=1797  nbRestartNogoods=79
157.75	       =>  wckTime=80.767  cpuTime=79.97  mem=19M299
211.74	   
211.74	   search
211.74	     run=5  nbConstraintChecks=59095598  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=1612
211.74	     nbFailedAssignments=1304  nbBacktracks=207  nbVisitedNodes=3077  nbRestartNogoods=90
211.74	       =>  wckTime=134.755  cpuTime=133.45  mem=19M299
250.45	   
250.45	   search
250.45	     run=6  nbConstraintChecks=71897363  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=1931
250.45	     nbFailedAssignments=1501  nbBacktracks=320  nbVisitedNodes=3704  nbRestartNogoods=170
250.45	       =>  wckTime=173.468  cpuTime=171.8  mem=19M299
329.51	   
329.51	   search
329.51	     run=7  nbConstraintChecks=101300163  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=2643
329.51	     nbFailedAssignments=2031  nbBacktracks=491  nbVisitedNodes=5114  nbRestartNogoods=189
329.51	       =>  wckTime=252.531  cpuTime=250.14  mem=19M299
407.14	   
407.14	   search
407.14	     run=8  nbConstraintChecks=133002633  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=3605
407.14	     nbFailedAssignments=2717  nbBacktracks=747  nbVisitedNodes=6897  nbRestartNogoods=213
407.14	       =>  wckTime=330.162  cpuTime=327.08  mem=19M299
496.59	o 659
496.59	c 1
497.94	   
497.94	   search
497.94	     run=9  nbConstraintChecks=162410541  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=4702
497.94	     nbFailedAssignments=3208  nbBacktracks=1346  nbVisitedNodes=8823  nbRestartNogoods=288
497.94	       =>  wckTime=420.958  cpuTime=417.03  mem=19M299
500.88	   
500.88	   search
500.88	     run=10  nbConstraintChecks=168474426  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=4942
500.88	     nbFailedAssignments=3344  nbBacktracks=1451  nbVisitedNodes=9214  nbRestartNogoods=292
500.88	       =>  wckTime=423.898  cpuTime=419.95  mem=19M299
500.88	   
500.88	   global
500.88	     nbConstraintChecks=177220076  nbRestartNogoods=292  solvingWckTime=423.899  solvingCpuTime=419.95  expiredTime=no
500.88	     totalExploration=yes  nbFoundSolutions=1  globalCpuTime=495.59
500.88	       =>  wckTime=500.468  cpuTime=495.54  mem=19M299
500.88	
500.88	s OPTIMUM FOUND
500.88	v 16 254 86 324 324 86 652 414 652 414 254 16 722 484 456 694 254 16 16 254 16 254 16 254 414 652 414 652 254 16 16 254 16 254 254 16 394 156 394 156 456 694 16 254 16 254 652 414 722 484 16 254 16 254 16 254 484 722 254 16 16 254 16 254 254 16 254 16 16 254 708 470 268 30 428 666 722 484 16 254 16 254 16 254 414 652 652 414 722 484 16 254 254 16 254 16 30 268 254 16 16 254 16 254 16 254 16 254 44 282 16 254 254 16 652 414 254 16 16 254 16 254 156 394 470 708 30 268 254 16 16 254 254 16 338 100 16 254 16 254 254 16 652 414 254 16 128 366 366 128 100 338 30 268 470 708 30 268 666 428 428 666 30 268 268 30 470 708 30 268 324 86 30 268 456 694 30 268 282 44 428 666 16 254 428 666 652 414 268 30 428 666 338 100 428 666 666 428 254 16 442 680 666 428 268 30 30 268 666 428 72 310 16 254 268 30 30 268 268 30 666 428 268 30 428 666 470 708 414 652 708 470 16 254 30 268 16 254 16 254 16 254 44 282 428 666 268 30 268 30 100 338 428 666 666 428 30 268 428 666 282 44 268 30 666 428 428 666 58 296 268 30 58 296 680 442 268 30 428 666 86 324 72 310 428 666 268 30 310 72 254 16 86 324 652 414 652 414 16 254 652 414 254 16 16 254 128 366 456 694 86 324 324 86 296 58 652 414 16 254 470 708 414 652 30 268 484 722 666 428 338 100 30 268 708 470 414 652 16 254 442 680 652 414 16 254 456 694 666 428 428 666 428 666 30 268 428 666 30 268 680 442 268 30 666 428 428 666 484 722 16 254 254 16 428 666 30 268 428 666 666 428 268 30 30 268 114 352 666 428 268 30 100 338 268 30 16 254 16 254 
500.88	   
500.88	   totalWckTime=500.551  totalCpuTime=495.59

Verifier Data (download as text)

1 unsatisfied constraints, 659 satisfied constraints

Watcher Data (download as text)

runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node34/watcher-275804-1169227446 -o ROOT/results/node34/solver-275804-1169227446 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/275804-1169227446/unknown.xml 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB

/proc/loadavg: 1.92 1.98 1.90 4/81 10160
/proc/meminfo: memFree=1089488/2055920 swapFree=4192812/4192956
[pid=10159] ppid=10157 vsize=9748 CPUtime=0
/proc/10159/stat : 10159 (java) D 10157 10159 9688 0 -1 0 637 0 0 0 0 0 0 0 18 0 1 0 271138321 9981952 412 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 7721764 0 2147483391 0 7368 18446744072099781622 0 0 17 1 0 0
/proc/10159/statm: 2437 412 333 14 0 1140 0

[startup+0.104261 s]
/proc/loadavg: 1.92 1.98 1.90 4/81 10160
/proc/meminfo: memFree=1089488/2055920 swapFree=4192812/4192956
[pid=10159] ppid=10157 vsize=907808 CPUtime=0.06
/proc/10159/stat : 10159 (java) D 10157 10159 9688 0 -1 0 2506 0 1 0 5 1 0 0 17 0 4 0 271138321 929595392 2253 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 2147483391 0 23755 18446744073709551615 0 0 17 1 0 0
/proc/10159/statm: 226952 2253 1232 14 0 214535 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 907808

[startup+0.512294 s]
/proc/loadavg: 1.92 1.98 1.90 4/81 10160
/proc/meminfo: memFree=1089488/2055920 swapFree=4192812/4192956
[pid=10159] ppid=10157 vsize=915332 CPUtime=0.4
/proc/10159/stat : 10159 (java) R 10157 10159 9688 0 -1 0 6046 0 1 0 36 4 0 0 18 0 8 0 271138321 937299968 5785 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072927716 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10159/statm: 228833 5785 2143 14 0 215303 0
Current children cumulated CPU time (s) 0.4
Current children cumulated vsize (KiB) 915332

[startup+1.33336 s]
/proc/loadavg: 1.92 1.98 1.90 3/88 10167
/proc/meminfo: memFree=1067032/2055920 swapFree=4192812/4192956
[pid=10159] ppid=10157 vsize=915448 CPUtime=1.2
/proc/10159/stat : 10159 (java) R 10157 10159 9688 0 -1 0 8312 0 1 0 109 11 0 0 23 0 8 0 271138321 937418752 8050 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073839834 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10159/statm: 228862 8050 2499 14 0 215332 0
[pid=10159/tid=10161] ppid=10157 vsize=915448 CPUtime=0.03
/proc/10159/task/10161/stat : 10161 (java) S 10157 10159 9688 0 -1 64 372 0 0 0 3 0 0 0 17 0 8 0 271138325 937418752 8050 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10159/tid=10162] ppid=10157 vsize=915448 CPUtime=0
/proc/10159/task/10162/stat : 10162 (java) S 10157 10159 9688 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271138326 937418752 8050 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10159/tid=10163] ppid=10157 vsize=915448 CPUtime=0
/proc/10159/task/10163/stat : 10163 (java) S 10157 10159 9688 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271138326 937418752 8050 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10159/tid=10164] ppid=10157 vsize=915448 CPUtime=0
/proc/10159/task/10164/stat : 10164 (java) S 10157 10159 9688 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271138339 937418752 8050 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10159/tid=10165] ppid=10157 vsize=915448 CPUtime=0.19
/proc/10159/task/10165/stat : 10165 (java) S 10157 10159 9688 0 -1 64 373 0 0 0 19 0 0 0 16 0 8 0 271138339 937418752 8050 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10159/tid=10166] ppid=10157 vsize=915448 CPUtime=0
/proc/10159/task/10166/stat : 10166 (java) S 10157 10159 9688 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271138339 937418752 8050 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10159/tid=10167] ppid=10157 vsize=915448 CPUtime=0
/proc/10159/task/10167/stat : 10167 (java) S 10157 10159 9688 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271138339 937418752 8050 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.2
Current children cumulated vsize (KiB) 915448

[startup+2.97049 s]
/proc/loadavg: 1.92 1.98 1.90 3/88 10167
/proc/meminfo: memFree=1066968/2055920 swapFree=4192812/4192956
[pid=10159] ppid=10157 vsize=915448 CPUtime=2.82
/proc/10159/stat : 10159 (java) R 10157 10159 9688 0 -1 0 8319 0 1 0 261 21 0 0 25 0 8 0 271138321 937418752 8056 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073839266 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10159/statm: 228862 8056 2500 14 0 215332 0
[pid=10159/tid=10161] ppid=10157 vsize=915448 CPUtime=0.03
/proc/10159/task/10161/stat : 10161 (java) S 10157 10159 9688 0 -1 64 372 0 0 0 3 0 0 0 16 0 8 0 271138325 937418752 8056 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10159/tid=10162] ppid=10157 vsize=915448 CPUtime=0
/proc/10159/task/10162/stat : 10162 (java) S 10157 10159 9688 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271138326 937418752 8056 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10159/tid=10163] ppid=10157 vsize=915448 CPUtime=0
/proc/10159/task/10163/stat : 10163 (java) S 10157 10159 9688 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271138326 937418752 8056 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10159/tid=10164] ppid=10157 vsize=915448 CPUtime=0
/proc/10159/task/10164/stat : 10164 (java) S 10157 10159 9688 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271138339 937418752 8056 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10159/tid=10165] ppid=10157 vsize=915448 CPUtime=0.2
/proc/10159/task/10165/stat : 10165 (java) S 10157 10159 9688 0 -1 64 378 0 0 0 20 0 0 0 16 0 8 0 271138339 937418752 8056 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10159/tid=10166] ppid=10157 vsize=915448 CPUtime=0
/proc/10159/task/10166/stat : 10166 (java) S 10157 10159 9688 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271138339 937418752 8056 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10159/tid=10167] ppid=10157 vsize=915448 CPUtime=0
/proc/10159/task/10167/stat : 10167 (java) S 10157 10159 9688 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271138339 937418752 8056 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.82
Current children cumulated vsize (KiB) 915448

[startup+6.26875 s]
/proc/loadavg: 1.93 1.98 1.90 3/88 10167
/proc/meminfo: memFree=1066904/2055920 swapFree=4192812/4192956
[pid=10159] ppid=10157 vsize=915448 CPUtime=6.09
/proc/10159/stat : 10159 (java) R 10157 10159 9688 0 -1 0 8321 0 1 0 554 55 0 0 25 0 8 0 271138321 937418752 8058 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073831819 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10159/statm: 228862 8058 2500 14 0 215332 0
[pid=10159/tid=10161] ppid=10157 vsize=915448 CPUtime=0.03
/proc/10159/task/10161/stat : 10161 (java) S 10157 10159 9688 0 -1 64 372 0 0 0 3 0 0 0 16 0 8 0 271138325 937418752 8058 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10159/tid=10162] ppid=10157 vsize=915448 CPUtime=0
/proc/10159/task/10162/stat : 10162 (java) S 10157 10159 9688 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271138326 937418752 8058 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10159/tid=10163] ppid=10157 vsize=915448 CPUtime=0
/proc/10159/task/10163/stat : 10163 (java) S 10157 10159 9688 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271138326 937418752 8058 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10159/tid=10164] ppid=10157 vsize=915448 CPUtime=0
/proc/10159/task/10164/stat : 10164 (java) S 10157 10159 9688 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271138339 937418752 8058 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10159/tid=10165] ppid=10157 vsize=915448 CPUtime=0.2
/proc/10159/task/10165/stat : 10165 (java) S 10157 10159 9688 0 -1 64 380 0 0 0 20 0 0 0 16 0 8 0 271138339 937418752 8058 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10159/tid=10166] ppid=10157 vsize=915448 CPUtime=0
/proc/10159/task/10166/stat : 10166 (java) S 10157 10159 9688 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271138339 937418752 8058 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10159/tid=10167] ppid=10157 vsize=915448 CPUtime=0
/proc/10159/task/10167/stat : 10167 (java) S 10157 10159 9688 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271138339 937418752 8058 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.09
Current children cumulated vsize (KiB) 915448

[startup+12.7373 s]
/proc/loadavg: 1.93 1.98 1.90 3/88 10167
/proc/meminfo: memFree=1066904/2055920 swapFree=4192812/4192956
[pid=10159] ppid=10157 vsize=915448 CPUtime=12.49
/proc/10159/stat : 10159 (java) R 10157 10159 9688 0 -1 0 8322 0 1 0 1136 113 0 0 25 0 8 0 271138321 937418752 8059 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073833004 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10159/statm: 228862 8059 2500 14 0 215332 0
[pid=10159/tid=10161] ppid=10157 vsize=915448 CPUtime=0.03
/proc/10159/task/10161/stat : 10161 (java) S 10157 10159 9688 0 -1 64 372 0 0 0 3 0 0 0 16 0 8 0 271138325 937418752 8059 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10159/tid=10162] ppid=10157 vsize=915448 CPUtime=0
/proc/10159/task/10162/stat : 10162 (java) S 10157 10159 9688 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271138326 937418752 8059 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10159/tid=10163] ppid=10157 vsize=915448 CPUtime=0
/proc/10159/task/10163/stat : 10163 (java) S 10157 10159 9688 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271138326 937418752 8059 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10159/tid=10164] ppid=10157 vsize=915448 CPUtime=0
/proc/10159/task/10164/stat : 10164 (java) S 10157 10159 9688 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271138339 937418752 8059 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10159/tid=10165] ppid=10157 vsize=915448 CPUtime=0.2
/proc/10159/task/10165/stat : 10165 (java) S 10157 10159 9688 0 -1 64 381 0 0 0 20 0 0 0 16 0 8 0 271138339 937418752 8059 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10159/tid=10166] ppid=10157 vsize=915448 CPUtime=0
/proc/10159/task/10166/stat : 10166 (java) S 10157 10159 9688 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271138339 937418752 8059 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10159/tid=10167] ppid=10157 vsize=915448 CPUtime=0
/proc/10159/task/10167/stat : 10167 (java) S 10157 10159 9688 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271138339 937418752 8059 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.49
Current children cumulated vsize (KiB) 915448

[startup+25.6063 s]
/proc/loadavg: 1.95 1.98 1.91 3/88 10167
/proc/meminfo: memFree=1066904/2055920 swapFree=4192812/4192956
[pid=10159] ppid=10157 vsize=915592 CPUtime=25.25
/proc/10159/stat : 10159 (java) R 10157 10159 9688 0 -1 0 8333 0 1 0 2280 245 0 0 25 0 8 0 271138321 937566208 8070 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073832870 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10159/statm: 228898 8070 2500 14 0 215368 0
[pid=10159/tid=10161] ppid=10157 vsize=915592 CPUtime=0.03
/proc/10159/task/10161/stat : 10161 (java) S 10157 10159 9688 0 -1 64 372 0 0 0 3 0 0 0 16 0 8 0 271138325 937566208 8070 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10159/tid=10162] ppid=10157 vsize=915592 CPUtime=0
/proc/10159/task/10162/stat : 10162 (java) S 10157 10159 9688 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271138326 937566208 8070 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10159/tid=10163] ppid=10157 vsize=915592 CPUtime=0
/proc/10159/task/10163/stat : 10163 (java) S 10157 10159 9688 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271138326 937566208 8070 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10159/tid=10164] ppid=10157 vsize=915592 CPUtime=0
/proc/10159/task/10164/stat : 10164 (java) S 10157 10159 9688 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271138339 937566208 8070 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10159/tid=10165] ppid=10157 vsize=915592 CPUtime=0.21
/proc/10159/task/10165/stat : 10165 (java) S 10157 10159 9688 0 -1 64 392 0 0 0 21 0 0 0 16 0 8 0 271138339 937566208 8070 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10159/tid=10166] ppid=10157 vsize=915592 CPUtime=0
/proc/10159/task/10166/stat : 10166 (java) S 10157 10159 9688 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271138339 937566208 8070 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10159/tid=10167] ppid=10157 vsize=915592 CPUtime=0
/proc/10159/task/10167/stat : 10167 (java) S 10157 10159 9688 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271138339 937566208 8070 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.25
Current children cumulated vsize (KiB) 915592

[startup+51.2144 s]
/proc/loadavg: 1.96 1.98 1.91 3/88 10167
/proc/meminfo: memFree=1066904/2055920 swapFree=4192812/4192956
[pid=10159] ppid=10157 vsize=915592 CPUtime=50.62
/proc/10159/stat : 10159 (java) R 10157 10159 9688 0 -1 0 8333 0 1 0 4623 439 0 0 25 0 8 0 271138321 937566208 8070 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073832937 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10159/statm: 228898 8070 2500 14 0 215368 0
[pid=10159/tid=10161] ppid=10157 vsize=915592 CPUtime=0.03
/proc/10159/task/10161/stat : 10161 (java) S 10157 10159 9688 0 -1 64 372 0 0 0 3 0 0 0 16 0 8 0 271138325 937566208 8070 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10159/tid=10162] ppid=10157 vsize=915592 CPUtime=0
/proc/10159/task/10162/stat : 10162 (java) S 10157 10159 9688 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271138326 937566208 8070 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10159/tid=10163] ppid=10157 vsize=915592 CPUtime=0
/proc/10159/task/10163/stat : 10163 (java) S 10157 10159 9688 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271138326 937566208 8070 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10159/tid=10164] ppid=10157 vsize=915592 CPUtime=0
/proc/10159/task/10164/stat : 10164 (java) S 10157 10159 9688 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271138339 937566208 8070 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10159/tid=10165] ppid=10157 vsize=915592 CPUtime=0.21
/proc/10159/task/10165/stat : 10165 (java) S 10157 10159 9688 0 -1 64 392 0 0 0 21 0 0 0 16 0 8 0 271138339 937566208 8070 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10159/tid=10166] ppid=10157 vsize=915592 CPUtime=0
/proc/10159/task/10166/stat : 10166 (java) S 10157 10159 9688 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271138339 937566208 8070 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10159/tid=10167] ppid=10157 vsize=915592 CPUtime=0
/proc/10159/task/10167/stat : 10167 (java) S 10157 10159 9688 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271138339 937566208 8070 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.62
Current children cumulated vsize (KiB) 915592

[startup+102.419 s]
/proc/loadavg: 1.98 1.98 1.91 3/88 10167
/proc/meminfo: memFree=1061080/2055920 swapFree=4192812/4192956
[pid=10159] ppid=10157 vsize=915528 CPUtime=101.36
/proc/10159/stat : 10159 (java) R 10157 10159 9688 0 -1 0 9865 0 1 0 9604 532 0 0 25 0 8 0 271138321 937500672 9593 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074014244 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10159/statm: 228882 9593 2550 14 0 215352 0
[pid=10159/tid=10161] ppid=10157 vsize=915528 CPUtime=0.03
/proc/10159/task/10161/stat : 10161 (java) S 10157 10159 9688 0 -1 64 373 0 0 0 3 0 0 0 16 0 8 0 271138325 937500672 9593 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10159/tid=10162] ppid=10157 vsize=915528 CPUtime=0
/proc/10159/task/10162/stat : 10162 (java) S 10157 10159 9688 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271138326 937500672 9593 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10159/tid=10163] ppid=10157 vsize=915528 CPUtime=0
/proc/10159/task/10163/stat : 10163 (java) S 10157 10159 9688 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271138326 937500672 9593 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10159/tid=10164] ppid=10157 vsize=915528 CPUtime=0
/proc/10159/task/10164/stat : 10164 (java) S 10157 10159 9688 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271138339 937500672 9593 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10159/tid=10165] ppid=10157 vsize=915528 CPUtime=0.31
/proc/10159/task/10165/stat : 10165 (java) S 10157 10159 9688 0 -1 64 448 0 0 0 30 1 0 0 15 0 8 0 271138339 937500672 9593 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10159/tid=10166] ppid=10157 vsize=915528 CPUtime=0
/proc/10159/task/10166/stat : 10166 (java) S 10157 10159 9688 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271138339 937500672 9593 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10159/tid=10167] ppid=10157 vsize=915528 CPUtime=0
/proc/10159/task/10167/stat : 10167 (java) S 10157 10159 9688 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271138339 937500672 9593 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.36
Current children cumulated vsize (KiB) 915528

[startup+162.477 s]
/proc/loadavg: 1.99 1.98 1.91 3/88 10167
/proc/meminfo: memFree=1060952/2055920 swapFree=4192812/4192956
[pid=10159] ppid=10157 vsize=915528 CPUtime=160.87
/proc/10159/stat : 10159 (java) R 10157 10159 9688 0 -1 0 9877 0 1 0 15555 532 0 0 25 0 8 0 271138321 937500672 9603 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074014216 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10159/statm: 228882 9603 2550 14 0 215352 0
[pid=10159/tid=10161] ppid=10157 vsize=915528 CPUtime=0.03
/proc/10159/task/10161/stat : 10161 (java) S 10157 10159 9688 0 -1 64 373 0 0 0 3 0 0 0 16 0 8 0 271138325 937500672 9603 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10159/tid=10162] ppid=10157 vsize=915528 CPUtime=0
/proc/10159/task/10162/stat : 10162 (java) S 10157 10159 9688 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271138326 937500672 9603 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10159/tid=10163] ppid=10157 vsize=915528 CPUtime=0
/proc/10159/task/10163/stat : 10163 (java) S 10157 10159 9688 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271138326 937500672 9603 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10159/tid=10164] ppid=10157 vsize=915528 CPUtime=0
/proc/10159/task/10164/stat : 10164 (java) S 10157 10159 9688 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271138339 937500672 9603 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10159/tid=10165] ppid=10157 vsize=915528 CPUtime=0.32
/proc/10159/task/10165/stat : 10165 (java) S 10157 10159 9688 0 -1 64 452 0 0 0 31 1 0 0 15 0 8 0 271138339 937500672 9603 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10159/tid=10166] ppid=10157 vsize=915528 CPUtime=0
/proc/10159/task/10166/stat : 10166 (java) S 10157 10159 9688 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271138339 937500672 9603 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10159/tid=10167] ppid=10157 vsize=915528 CPUtime=0
/proc/10159/task/10167/stat : 10167 (java) S 10157 10159 9688 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271138339 937500672 9603 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 160.87
Current children cumulated vsize (KiB) 915528

[startup+222.536 s]
/proc/loadavg: 2.04 2.00 1.91 3/88 10167
/proc/meminfo: memFree=1060952/2055920 swapFree=4192812/4192956
[pid=10159] ppid=10157 vsize=915528 CPUtime=220.38
/proc/10159/stat : 10159 (java) R 10157 10159 9688 0 -1 0 9898 0 1 0 21506 532 0 0 25 0 8 0 271138321 937500672 9616 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074014960 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10159/statm: 228882 9616 2550 14 0 215352 0
[pid=10159/tid=10161] ppid=10157 vsize=915528 CPUtime=0.03
/proc/10159/task/10161/stat : 10161 (java) S 10157 10159 9688 0 -1 64 373 0 0 0 3 0 0 0 16 0 8 0 271138325 937500672 9616 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10159/tid=10162] ppid=10157 vsize=915528 CPUtime=0
/proc/10159/task/10162/stat : 10162 (java) S 10157 10159 9688 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271138326 937500672 9616 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10159/tid=10163] ppid=10157 vsize=915528 CPUtime=0
/proc/10159/task/10163/stat : 10163 (java) S 10157 10159 9688 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271138326 937500672 9616 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10159/tid=10164] ppid=10157 vsize=915528 CPUtime=0
/proc/10159/task/10164/stat : 10164 (java) S 10157 10159 9688 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271138339 937500672 9616 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10159/tid=10165] ppid=10157 vsize=915528 CPUtime=0.33
/proc/10159/task/10165/stat : 10165 (java) S 10157 10159 9688 0 -1 64 468 0 0 0 32 1 0 0 15 0 8 0 271138339 937500672 9616 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10159/tid=10166] ppid=10157 vsize=915528 CPUtime=0
/proc/10159/task/10166/stat : 10166 (java) S 10157 10159 9688 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271138339 937500672 9616 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10159/tid=10167] ppid=10157 vsize=915528 CPUtime=0
/proc/10159/task/10167/stat : 10167 (java) S 10157 10159 9688 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271138339 937500672 9616 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 220.38
Current children cumulated vsize (KiB) 915528

[startup+282.585 s]
/proc/loadavg: 2.01 2.00 1.91 3/88 10167
/proc/meminfo: memFree=1060888/2055920 swapFree=4192812/4192956
[pid=10159] ppid=10157 vsize=915528 CPUtime=279.89
/proc/10159/stat : 10159 (java) R 10157 10159 9688 0 -1 0 9903 0 1 0 27456 533 0 0 25 0 8 0 271138321 937500672 9620 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074014219 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10159/statm: 228882 9620 2550 14 0 215352 0
[pid=10159/tid=10161] ppid=10157 vsize=915528 CPUtime=0.03
/proc/10159/task/10161/stat : 10161 (java) S 10157 10159 9688 0 -1 64 373 0 0 0 3 0 0 0 16 0 8 0 271138325 937500672 9620 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10159/tid=10162] ppid=10157 vsize=915528 CPUtime=0
/proc/10159/task/10162/stat : 10162 (java) S 10157 10159 9688 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271138326 937500672 9620 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10159/tid=10163] ppid=10157 vsize=915528 CPUtime=0
/proc/10159/task/10163/stat : 10163 (java) S 10157 10159 9688 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271138326 937500672 9620 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10159/tid=10164] ppid=10157 vsize=915528 CPUtime=0
/proc/10159/task/10164/stat : 10164 (java) S 10157 10159 9688 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271138339 937500672 9620 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10159/tid=10165] ppid=10157 vsize=915528 CPUtime=0.34
/proc/10159/task/10165/stat : 10165 (java) S 10157 10159 9688 0 -1 64 471 0 0 0 33 1 0 0 15 0 8 0 271138339 937500672 9620 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10159/tid=10166] ppid=10157 vsize=915528 CPUtime=0
/proc/10159/task/10166/stat : 10166 (java) S 10157 10159 9688 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271138339 937500672 9620 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10159/tid=10167] ppid=10157 vsize=915528 CPUtime=0
/proc/10159/task/10167/stat : 10167 (java) S 10157 10159 9688 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271138339 937500672 9620 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 279.89
Current children cumulated vsize (KiB) 915528

[startup+342.661 s]
/proc/loadavg: 2.00 2.00 1.91 3/88 10167
/proc/meminfo: memFree=1060888/2055920 swapFree=4192812/4192956
[pid=10159] ppid=10157 vsize=915528 CPUtime=339.41
/proc/10159/stat : 10159 (java) R 10157 10159 9688 0 -1 0 9909 0 1 0 33408 533 0 0 25 0 8 0 271138321 937500672 9624 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074014244 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10159/statm: 228882 9624 2550 14 0 215352 0
[pid=10159/tid=10161] ppid=10157 vsize=915528 CPUtime=0.03
/proc/10159/task/10161/stat : 10161 (java) S 10157 10159 9688 0 -1 64 373 0 0 0 3 0 0 0 16 0 8 0 271138325 937500672 9624 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10159/tid=10162] ppid=10157 vsize=915528 CPUtime=0
/proc/10159/task/10162/stat : 10162 (java) S 10157 10159 9688 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271138326 937500672 9624 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10159/tid=10163] ppid=10157 vsize=915528 CPUtime=0
/proc/10159/task/10163/stat : 10163 (java) S 10157 10159 9688 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271138326 937500672 9624 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10159/tid=10164] ppid=10157 vsize=915528 CPUtime=0
/proc/10159/task/10164/stat : 10164 (java) S 10157 10159 9688 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271138339 937500672 9624 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10159/tid=10165] ppid=10157 vsize=915528 CPUtime=0.34
/proc/10159/task/10165/stat : 10165 (java) S 10157 10159 9688 0 -1 64 473 0 0 0 33 1 0 0 16 0 8 0 271138339 937500672 9624 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10159/tid=10166] ppid=10157 vsize=915528 CPUtime=0
/proc/10159/task/10166/stat : 10166 (java) S 10157 10159 9688 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271138339 937500672 9624 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10159/tid=10167] ppid=10157 vsize=915528 CPUtime=0
/proc/10159/task/10167/stat : 10167 (java) S 10157 10159 9688 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271138339 937500672 9624 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 339.41
Current children cumulated vsize (KiB) 915528

[startup+402.75 s]
/proc/loadavg: 2.00 2.00 1.91 3/88 10167
/proc/meminfo: memFree=1060824/2055920 swapFree=4192812/4192956
[pid=10159] ppid=10157 vsize=915528 CPUtime=398.96
/proc/10159/stat : 10159 (java) R 10157 10159 9688 0 -1 0 9909 0 1 0 39363 533 0 0 25 0 8 0 271138321 937500672 9624 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074014244 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10159/statm: 228882 9624 2550 14 0 215352 0
[pid=10159/tid=10161] ppid=10157 vsize=915528 CPUtime=0.03
/proc/10159/task/10161/stat : 10161 (java) S 10157 10159 9688 0 -1 64 373 0 0 0 3 0 0 0 16 0 8 0 271138325 937500672 9624 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10159/tid=10162] ppid=10157 vsize=915528 CPUtime=0
/proc/10159/task/10162/stat : 10162 (java) S 10157 10159 9688 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271138326 937500672 9624 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10159/tid=10163] ppid=10157 vsize=915528 CPUtime=0
/proc/10159/task/10163/stat : 10163 (java) S 10157 10159 9688 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271138326 937500672 9624 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10159/tid=10164] ppid=10157 vsize=915528 CPUtime=0
/proc/10159/task/10164/stat : 10164 (java) S 10157 10159 9688 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271138339 937500672 9624 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10159/tid=10165] ppid=10157 vsize=915528 CPUtime=0.34
/proc/10159/task/10165/stat : 10165 (java) S 10157 10159 9688 0 -1 64 473 0 0 0 33 1 0 0 16 0 8 0 271138339 937500672 9624 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10159/tid=10166] ppid=10157 vsize=915528 CPUtime=0
/proc/10159/task/10166/stat : 10166 (java) S 10157 10159 9688 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271138339 937500672 9624 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10159/tid=10167] ppid=10157 vsize=915528 CPUtime=0
/proc/10159/task/10167/stat : 10167 (java) S 10157 10159 9688 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271138339 937500672 9624 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 398.96
Current children cumulated vsize (KiB) 915528

[startup+462.845 s]
/proc/loadavg: 2.08 2.02 1.92 3/88 10167
/proc/meminfo: memFree=1060824/2055920 swapFree=4192812/4192956
[pid=10159] ppid=10157 vsize=915528 CPUtime=458.49
/proc/10159/stat : 10159 (java) R 10157 10159 9688 0 -1 0 9912 0 1 0 45316 533 0 0 25 0 8 0 271138321 937500672 9627 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074014240 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10159/statm: 228882 9627 2550 14 0 215352 0
[pid=10159/tid=10161] ppid=10157 vsize=915528 CPUtime=0.03
/proc/10159/task/10161/stat : 10161 (java) S 10157 10159 9688 0 -1 64 373 0 0 0 3 0 0 0 16 0 8 0 271138325 937500672 9627 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10159/tid=10162] ppid=10157 vsize=915528 CPUtime=0
/proc/10159/task/10162/stat : 10162 (java) S 10157 10159 9688 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271138326 937500672 9627 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10159/tid=10163] ppid=10157 vsize=915528 CPUtime=0
/proc/10159/task/10163/stat : 10163 (java) S 10157 10159 9688 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271138326 937500672 9627 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10159/tid=10164] ppid=10157 vsize=915528 CPUtime=0
/proc/10159/task/10164/stat : 10164 (java) S 10157 10159 9688 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271138339 937500672 9627 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10159/tid=10165] ppid=10157 vsize=915528 CPUtime=0.34
/proc/10159/task/10165/stat : 10165 (java) S 10157 10159 9688 0 -1 64 473 0 0 0 33 1 0 0 16 0 8 0 271138339 937500672 9627 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10159/tid=10166] ppid=10157 vsize=915528 CPUtime=0
/proc/10159/task/10166/stat : 10166 (java) S 10157 10159 9688 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271138339 937500672 9627 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10159/tid=10167] ppid=10157 vsize=915528 CPUtime=0
/proc/10159/task/10167/stat : 10167 (java) S 10157 10159 9688 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271138339 937500672 9627 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 458.49
Current children cumulated vsize (KiB) 915528

Child status: 0
Real time (s): 500.938
CPU time (s): 496.215
CPU user time (s): 490.868
CPU system time (s): 5.34619
CPU usage (%): 99.057
Max. virtual memory (cumulated for all children) (KiB): 916044

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 490.868
system time used= 5.34619
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10017
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 11618
involuntary context switches= 29683

runsolver used 0.661899 s user time and 1.57476 s system time

The end

Launcher Data (download as text)

Begin job on node34 on Fri Jan 19 17:24:06 UTC 2007


IDJOB= 275804
IDBENCH= 5089
IDSOLVER= 68
FILE ID= node34/275804-1169227446

PBS_JOBID= 3589223

Free space on /tmp= 66563 MiB

SOLVER NAME= AbsconMax 109 EPFC
BENCH NAME= HOME/pub/bench/CPAI06/rlfap/rlfapScensMod/scen7-w1-f5.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/275804-1169227446/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node34/watcher-275804-1169227446 -o ROOT/results/node34/solver-275804-1169227446 -C 2400 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/275804-1169227446/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  34ac1abbe52ba7843e11079c085ad2f4

RANDOM SEED= 930120077

TIME LIMIT= 2400 seconds

MEMORY LIMIT= 900 MiB


/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.227
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.227
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:       1089904 kB
Buffers:         36144 kB
Cached:         820248 kB
SwapCached:          0 kB
Active:         315228 kB
Inactive:       577660 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1089904 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            1732 kB
Writeback:           0 kB
Mapped:          54580 kB
Slab:            58420 kB
Committed_AS:  4358552 kB
PageTables:       1864 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= 66563 MiB



End job on node34 on Fri Jan 19 17:32:27 UTC 2007