0.09/0.31
0.09/0.31 Abscon 112 (May, 2008)
0.24/0.52
0.24/0.52 configuration
0.24/0.52 name=mrdac-ddeg.xml
0.24/0.60
0.24/0.60 instance
0.24/0.60 name=HOME/instance-1112942-1215875919.xml
0.32/0.64
0.32/0.64 domains being loaded...
0.32/0.66
0.32/0.66 variables being loaded...
0.45/0.71 nbVariables=300 nbDomainTypes=13 minDomainSize=50 maxDomainSize=270 nbTotalValues=61762
0.45/0.71 => wckTime=0.189 cpuTime=0.14 mem=9M800
0.45/0.71
0.45/0.71 predicates being loaded...
0.45/0.76
0.45/0.76 constraints being loaded...
10.52/10.74
10.52/10.74 INFO : Stopping converting binary constraints (cpu=10.06, mem = 11M262)
11.33/11.51 nbConstraints=3360 nbConvertedConstraints=852 nbConvertConstraintsChecks=35447208 nbExtensionStructures=758
11.33/11.51 nbSharedExtensionStructures=308 nbConflictsStructures=1046 nbSharedConflictsStructures=342
11.33/11.51 nbUnbuiltConflictsStructures=1439 nbSharedBinaryRepresentations=296132 nbEvaluationManagers=1727
11.33/11.51 nbSharedEvaluationManagers=781 minDegree=5 maxDegree=35 minArity=2 maxArity=2
11.33/11.51 => wckTime=10.985 cpuTime=10.78 mem=37M609
11.45/11.64
11.45/11.64 solver LocalSearchSolver being built...
11.45/11.67 => wckTime=11.152 cpuTime=10.81 mem=14M649
11.45/11.70
11.45/11.70 s SATISFIABLE
11.45/11.70 o 843
11.56/11.71 o 838
11.56/11.71 o 834
11.56/11.71 o 831
11.56/11.72 o 827
11.56/11.73 o 824
11.56/11.74 o 819
11.56/11.74 o 816
11.56/11.75 o 814
11.56/11.75 o 813
11.56/11.76 o 807
11.56/11.77 o 801
11.56/11.78 o 798
11.56/11.78 o 795
11.56/11.79 o 792
11.56/11.80 o 789
11.67/11.82 o 787
11.67/11.83 o 786
11.67/11.84 o 780
11.67/11.85 o 778
11.67/11.86 o 774
11.67/11.87 o 771
11.67/11.88 o 770
11.67/11.89 o 768
11.67/11.90 o 766
11.77/11.91 o 764
11.77/11.92 o 763
11.77/11.93 o 760
11.77/11.93 o 759
11.77/11.94 o 755
11.77/11.95 o 751
11.77/11.96 o 748
11.77/11.97 o 745
11.77/11.98 o 744
11.77/11.99 o 739
11.77/12.00 o 735
11.87/12.01 o 732
11.87/12.02 o 729
11.87/12.03 o 726
11.87/12.04 o 724
11.87/12.05 o 723
11.87/12.06 o 719
11.87/12.07 o 715
11.87/12.08 o 714
11.87/12.09 o 711
11.97/12.14 o 709
11.97/12.15 o 704
11.97/12.16 o 702
11.97/12.17 o 700
11.97/12.18 o 695
11.97/12.20 o 692
12.06/12.22 o 691
12.06/12.23 o 689
12.06/12.24 o 687
12.06/12.25 o 686
12.06/12.26 o 685
12.06/12.27 o 684
12.06/12.28 o 682
12.06/12.29 o 681
12.16/12.30 o 678
12.16/12.31 o 677
12.16/12.32 o 676
12.16/12.34 o 674
12.16/12.35 o 670
12.16/12.35 o 668
12.16/12.36 o 666
12.16/12.37 o 663
12.16/12.37 o 661
12.16/12.39 o 658
12.16/12.39 o 657
12.26/12.41 o 656
12.26/12.42 o 655
12.26/12.43 o 652
12.26/12.45 o 650
12.26/12.47 o 645
12.26/12.48 o 642
12.26/12.49 o 639
12.36/12.50 o 636
12.36/12.51 o 632
12.36/12.52 o 628
12.36/12.54 o 625
12.36/12.54 o 622
12.36/12.55 o 619
12.36/12.56 o 617
12.36/12.58 o 616
12.46/12.64 o 615
12.46/12.64 o 612
12.46/12.67 o 608
12.46/12.68 o 603
12.46/12.70 o 600
12.56/12.71 o 599
12.56/12.74 o 597
12.56/12.75 o 593
12.56/12.77 o 590
12.56/12.78 o 587
12.56/12.79 o 586
12.66/12.81 o 585
12.66/12.83 o 583
12.66/12.85 o 580
12.66/12.87 o 579
12.66/12.88 o 576
12.77/12.92 o 574
12.77/12.94 o 571
12.77/12.98 o 570
12.77/12.99 o 568
12.87/13.01 o 563
12.87/13.03 o 561
12.87/13.06 o 558
12.87/13.07 o 556
12.97/13.11 o 554
12.97/13.19 o 552
13.07/13.20 o 548
13.07/13.22 o 547
13.07/13.24 o 545
13.07/13.27 o 544
13.07/13.28 o 543
13.16/13.30 o 542
13.16/13.33 o 540
13.16/13.34 o 537
13.16/13.36 o 535
13.16/13.37 o 531
13.26/13.40 o 530
13.26/13.45 o 529
13.26/13.46 o 528
13.26/13.47 o 527
13.36/13.52 o 524
13.36/13.54 o 522
13.36/13.56 o 521
13.36/13.57 o 518
13.46/13.61 o 516
13.46/13.63 o 515
13.46/13.65 o 514
13.46/13.67 o 512
13.46/13.68 o 508
13.55/13.77 o 507
13.55/13.79 o 504
13.65/13.81 o 501
13.65/13.88 o 499
13.75/13.90 o 496
13.75/13.92 o 495
13.85/14.01 o 493
13.85/14.04 o 492
13.85/14.06 o 488
13.85/14.09 o 487
13.95/14.11 o 486
13.95/14.15 o 485
14.05/14.22 o 483
14.05/14.25 o 481
14.05/14.27 o 480
14.05/14.29 o 479
14.15/14.31 o 478
14.15/14.35 o 477
14.15/14.37 o 474
14.24/14.40 o 473
14.34/14.54 o 472
14.34/14.58 o 471
14.44/14.60 o 470
14.44/14.62 o 467
14.44/14.68 o 466
14.55/14.72 o 462
14.55/14.74 o 459
14.55/14.77 o 457
14.65/14.83 o 455
14.65/14.85 o 454
14.65/14.87 o 451
14.75/14.94 o 450
14.75/14.96 o 448
14.95/15.11 o 447
14.95/15.13 o 446
14.95/15.15 o 444
15.05/15.21 o 443
15.05/15.24 o 441
15.05/15.26 o 438
15.15/15.32 o 436
15.34/15.57 o 434
15.44/15.64 o 432
15.44/15.67 o 430
15.54/15.72 o 429
15.54/15.77 o 428
15.54/15.79 o 425
15.64/15.84 o 424
15.64/15.88 o 422
15.74/15.91 o 421
16.04/16.23 o 419
16.04/16.28 o 418
16.14/16.31 o 417
16.14/16.36 o 415
16.24/16.48 o 412
16.34/16.51 o 410
16.34/16.54 o 409
16.34/16.56 o 408
16.34/16.59 o 405
16.43/16.61 o 404
16.43/16.64 o 402
16.43/16.67 o 401
16.53/16.72 o 400
16.53/16.74 o 399
16.53/16.77 o 398
16.63/16.81 o 397
16.63/16.83 o 396
16.73/16.91 o 392
16.73/16.96 o 391
16.83/17.00 o 390
16.83/17.06 o 388
17.03/17.24 o 385
17.03/17.26 o 382
17.14/17.31 o 380
17.14/17.33 o 379
17.14/17.36 o 377
17.14/17.38 o 375
17.24/17.41 o 374
17.24/17.43 o 372
17.34/17.52 o 371
17.73/17.92 o 370
17.83/18.01 o 369
17.83/18.05 o 367
17.83/18.09 o 366
17.93/18.15 o 365
18.03/18.27 o 363
18.23/18.40 o 362
18.92/19.15 o 361
18.92/19.18 o 358
19.02/19.23 o 356
19.62/19.89 o 355
19.71/19.91 o 354
19.71/19.94 o 352
19.81/20.02 o 350
19.91/20.16 o 347
19.91/20.19 o 341
20.01/20.24 o 339
20.01/20.28 o 338
20.11/20.31 o 336
20.21/20.45 o 335
20.31/20.52 o 334
20.31/20.59 o 333
20.51/20.70 o 331
20.61/20.87 o 330
20.61/20.90 o 328
20.71/20.94 o 326
20.71/20.97 o 324
20.71/20.99 o 323
20.80/21.02 o 320
20.80/21.08 o 319
20.90/21.12 o 318
21.70/21.96 o 317
21.70/21.99 o 314
21.80/22.01 o 313
21.80/22.05 o 311
21.80/22.07 o 310
21.89/22.19 o 309
21.99/22.22 o 308
21.99/22.25 o 307
21.99/22.28 o 305
22.09/22.31 o 304
22.09/22.34 o 303
22.09/22.37 o 302
22.20/22.45 o 301
22.20/22.47 o 296
22.30/22.53 o 295
22.30/22.55 o 294
22.40/22.63 o 293
22.40/22.66 o 292
22.40/22.68 o 291
22.50/22.70 o 290
22.60/22.84 o 289
22.70/22.92 o 288
22.70/22.95 o 286
22.70/22.99 o 285
22.80/23.04 o 284
22.80/23.07 o 282
22.99/23.20 o 281
23.19/23.42 o 280
23.19/23.48 o 279
23.29/23.55 o 275
23.59/23.80 o 272
23.79/24.02 o 269
23.79/24.05 o 268
23.79/24.09 o 266
23.89/24.13 o 264
23.89/24.17 o 263
24.28/24.50 o 261
24.28/24.53 o 259
24.28/24.60 o 257
26.36/26.69 o 256
26.46/26.73 o 255
26.46/26.78 o 254
26.96/27.25 o 253
27.07/27.30 o 252
27.07/27.39 o 250
27.17/27.47 o 248
27.27/27.51 o 247
27.27/27.56 o 246
27.46/27.78 o 245
27.56/27.83 o 244
27.56/27.87 o 242
27.66/27.93 o 241
27.76/28.08 o 240
27.86/28.13 o 239
28.06/28.32 o 238
28.06/28.36 o 237
28.16/28.43 o 236
28.16/28.47 o 235
28.16/28.49 o 234
28.36/28.64 o 232
28.36/28.68 o 231
28.45/28.78 o 230
28.55/28.89 o 229
28.75/29.05 o 228
28.85/29.14 o 226
29.15/29.49 o 225
29.65/29.99 o 222
29.75/30.04 o 220
29.85/30.13 o 219
29.95/30.23 o 218
30.15/30.42 o 217
30.45/30.76 o 216
30.54/30.81 o 215
32.52/32.82 o 214
32.82/33.16 o 211
32.92/33.21 o 208
32.92/33.26 o 207
33.02/33.31 o 206
33.12/33.49 o 205
33.21/33.54 o 203
33.21/33.56 o 202
35.01/35.31 o 200
35.01/35.36 o 199
38.28/38.62 o 198
38.28/38.68 o 193
38.38/38.73 o 190
38.38/38.75 o 188
38.58/38.91 o 185
38.68/39.04 o 184
38.68/39.10 o 181
39.19/39.51 o 180
39.19/39.56 o 179
39.29/39.62 o 178
40.17/40.54 o 177
40.17/40.59 o 176
41.17/41.52 o 175
41.17/41.58 o 174
42.36/42.74 o 173
42.46/42.88 o 171
42.56/42.95 o 170
42.65/43.09 o 168
42.85/43.20 o 166
42.95/43.34 o 165
43.15/43.55 o 163
43.25/43.62 o 162
43.36/43.75 o 160
43.85/44.23 o 158
44.05/44.47 o 156
44.15/44.53 o 155
44.65/45.08 o 154
45.74/46.13 o 153
55.67/56.18 o 152
55.87/56.30 o 150
55.87/56.36 o 149
56.66/57.19 o 148
72.55/73.14 o 147
73.15/73.71 o 146
73.24/73.85 o 145
85.86/86.57 o 144
85.96/86.64 o 143
86.06/86.71 o 142
86.16/86.85 o 141
86.26/86.92 o 138
86.65/87.35 o 137
86.65/87.39 o 136
86.75/87.44 o 134
98.47/99.26 o 133
99.57/100.38 o 132
100.06/100.84 o 130
100.36/101.11 o 129
116.16/117.09 o 128
116.26/117.15 o 127
125.10/126.05 o 126
125.60/126.57 o 124
126.09/127.03 o 122
126.29/127.22 o 121
127.87/128.90 o 120
130.06/131.07 o 119
130.16/131.14 o 117
160.25/161.40
160.25/161.40 search
160.25/161.40 run=0 nbConstraintChecks=534742345 nbAssignments=2676
160.25/161.40 => wckTime=149.732 cpuTime=148.7 mem=15M663
160.25/161.40
160.25/161.40 global
160.25/161.40 nbConstraintChecks=534742345 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
160.25/161.40 solvingWckTime=149.73 solvingCpuTime=148.69 expiredTime=no totalExploration=no nbFoundSolutions=0
160.25/161.40 globalCpuTime=159.54
160.25/161.40 => wckTime=160.884 cpuTime=159.51 mem=15M663
160.25/161.40
160.25/161.40 solver DecomposerSolver being built...
160.57/161.73 => wckTime=161.208 cpuTime=159.68 mem=91M24
165.24/166.42
165.24/166.42 preprocessing
165.24/166.42 nbConstraintChecks=13448303 nbValidityChecks=67122 nbPropagations=301 nbRevisions=4401 nbUselessRevisions=4391
165.24/166.42 nbRemovedValues=1056 detectedInconsistency=no
165.24/166.42 => wckTime=4.693 cpuTime=4.66 mem=92M68
165.34/166.57 s UNKNOWN
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1112942-1215875919/watcher-1112942-1215875919 -o /tmp/evaluation-result-1112942-1215875919/solver-1112942-1215875919 -C 3600 -W 4000 -M 900 --output-limit 1,15 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp absconMax112V3.jar abscon.Resolution mrdac-ddeg.xml 1 XSax HOME/instance-1112942-1215875919.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 4000 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
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.31 1.76 3/82 18491
/proc/meminfo: memFree=1203152/2055920 swapFree=4181048/4192956
[pid=18491] ppid=18489 vsize=18572 CPUtime=0
/proc/18491/stat : 18491 (runsolver) D 18489 18491 17862 0 -1 4194368 16 0 0 0 0 0 0 0 18 0 1 0 44289859 19017728 292 996147200 4194304 4296836 548682068336 18446744073709551615 271638392103 0 0 4096 24578 18446744071563608240 0 0 17 0 0 0
/proc/18491/statm: 4643 292 257 25 0 2626 0
[startup+0.080885 s]
/proc/loadavg: 1.00 1.31 1.76 3/82 18491
/proc/meminfo: memFree=1203152/2055920 swapFree=4181048/4192956
[pid=18491] ppid=18489 vsize=10196 CPUtime=0
/proc/18491/stat : 18491 (java) D 18489 18491 17862 0 -1 0 351 0 6 0 0 0 0 0 18 0 1 0 44289859 10440704 161 996147200 134512640 134550740 4294955952 18446744073709551615 6890404 0 0 4096 0 18446744071563608240 0 0 17 0 0 0
/proc/18491/statm: 2549 161 134 9 0 1102 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 10196
[startup+0.101888 s]
/proc/loadavg: 1.00 1.31 1.76 3/82 18491
/proc/meminfo: memFree=1203152/2055920 swapFree=4181048/4192956
[pid=18491] ppid=18489 vsize=10336 CPUtime=0.01
/proc/18491/stat : 18491 (java) D 18489 18491 17862 0 -1 0 379 0 19 0 0 1 0 0 18 0 1 0 44289859 10584064 201 996147200 134512640 134550740 4294955952 18446744073709551615 6861610 0 0 4096 0 18446744071563479169 0 0 17 0 0 0
/proc/18491/statm: 2584 201 143 9 0 1102 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 10336
[startup+0.301915 s]
/proc/loadavg: 1.00 1.31 1.76 3/82 18491
/proc/meminfo: memFree=1203152/2055920 swapFree=4181048/4192956
[pid=18491] ppid=18489 vsize=865856 CPUtime=0.09
/proc/18491/stat : 18491 (java) S 18489 18491 17862 0 -1 0 3466 0 49 0 5 4 0 0 18 0 9 0 44289859 886636544 3004 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/18491/statm: 216464 3004 1627 9 0 211026 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 865856
[startup+0.701952 s]
/proc/loadavg: 1.00 1.31 1.76 3/82 18491
/proc/meminfo: memFree=1203152/2055920 swapFree=4181048/4192956
[pid=18491] ppid=18489 vsize=867476 CPUtime=0.45
/proc/18491/stat : 18491 (java) S 18489 18491 17862 0 -1 0 6705 0 62 0 37 8 0 0 18 0 9 0 44289859 888295424 6137 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/18491/statm: 216869 6138 1967 9 0 211397 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 867476
[startup+1.50203 s]
/proc/loadavg: 1.00 1.31 1.76 2/91 18500
/proc/meminfo: memFree=1159880/2055920 swapFree=4181048/4192956
[pid=18491] ppid=18489 vsize=868716 CPUtime=1.35
/proc/18491/stat : 18491 (java) S 18489 18491 17862 0 -1 0 11267 0 62 0 125 10 0 0 18 0 9 0 44289859 889565184 10686 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/18491/statm: 217179 10686 2014 9 0 211685 0
[pid=18491/tid=18493] ppid=18489 vsize=868716 CPUtime=1.14
/proc/18491/task/18493/stat : 18493 (java) R 18489 18491 17862 0 -1 64 9921 0 37 0 105 9 0 0 23 0 9 0 44289869 889565184 10686 996147200 134512640 134550740 4294955952 18446744073709551615 4126865008 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18491/tid=18494] ppid=18489 vsize=868716 CPUtime=0
/proc/18491/task/18494/stat : 18494 (java) S 18489 18491 17862 0 -1 64 5 0 0 0 0 0 0 0 17 0 9 0 44289881 889565184 10686 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=18491/tid=18495] ppid=18489 vsize=868716 CPUtime=0
/proc/18491/task/18495/stat : 18495 (java) S 18489 18491 17862 0 -1 64 10 0 0 0 0 0 0 0 19 0 9 0 44289881 889565184 10686 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18491/tid=18496] ppid=18489 vsize=868716 CPUtime=0
/proc/18491/task/18496/stat : 18496 (java) S 18489 18491 17862 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 44289881 889565184 10686 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18491/tid=18497] ppid=18489 vsize=868716 CPUtime=0
/proc/18491/task/18497/stat : 18497 (java) S 18489 18491 17862 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 44289884 889565184 10686 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18491/tid=18498] ppid=18489 vsize=868716 CPUtime=0.18
/proc/18491/task/18498/stat : 18498 (java) S 18489 18491 17862 0 -1 64 673 0 0 0 18 0 0 0 16 0 9 0 44289884 889565184 10686 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18491/tid=18499] ppid=18489 vsize=868716 CPUtime=0
/proc/18491/task/18499/stat : 18499 (java) S 18489 18491 17862 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44289884 889565184 10686 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18491/tid=18500] ppid=18489 vsize=868716 CPUtime=0
/proc/18491/task/18500/stat : 18500 (java) R 18489 18491 17862 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44289884 889565184 10686 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.35
Current children cumulated vsize (KiB) 868716
[startup+3.10219 s]
/proc/loadavg: 1.00 1.31 1.76 2/91 18500
/proc/meminfo: memFree=1155208/2055920 swapFree=4181048/4192956
[pid=18491] ppid=18489 vsize=868716 CPUtime=2.95
/proc/18491/stat : 18491 (java) S 18489 18491 17862 0 -1 0 12387 0 62 0 284 11 0 0 18 0 9 0 44289859 889565184 11805 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/18491/statm: 217179 11805 2014 9 0 211685 0
[pid=18491/tid=18493] ppid=18489 vsize=868716 CPUtime=2.71
/proc/18491/task/18493/stat : 18493 (java) R 18489 18491 17862 0 -1 64 11019 0 37 0 262 9 0 0 25 0 9 0 44289869 889565184 11805 996147200 134512640 134550740 4294955952 18446744073709551615 4126860648 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18491/tid=18494] ppid=18489 vsize=868716 CPUtime=0
/proc/18491/task/18494/stat : 18494 (java) S 18489 18491 17862 0 -1 64 5 0 0 0 0 0 0 0 17 0 9 0 44289881 889565184 11805 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=18491/tid=18495] ppid=18489 vsize=868716 CPUtime=0
/proc/18491/task/18495/stat : 18495 (java) S 18489 18491 17862 0 -1 64 10 0 0 0 0 0 0 0 19 0 9 0 44289881 889565184 11805 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18491/tid=18496] ppid=18489 vsize=868716 CPUtime=0
/proc/18491/task/18496/stat : 18496 (java) S 18489 18491 17862 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 44289881 889565184 11805 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18491/tid=18497] ppid=18489 vsize=868716 CPUtime=0
/proc/18491/task/18497/stat : 18497 (java) S 18489 18491 17862 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 44289884 889565184 11805 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18491/tid=18498] ppid=18489 vsize=868716 CPUtime=0.21
/proc/18491/task/18498/stat : 18498 (java) S 18489 18491 17862 0 -1 64 695 0 0 0 21 0 0 0 16 0 9 0 44289884 889565184 11805 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18491/tid=18499] ppid=18489 vsize=868716 CPUtime=0
/proc/18491/task/18499/stat : 18499 (java) S 18489 18491 17862 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44289884 889565184 11805 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18491/tid=18500] ppid=18489 vsize=868716 CPUtime=0
/proc/18491/task/18500/stat : 18500 (java) S 18489 18491 17862 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44289884 889565184 11805 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 868716
[startup+6.30152 s]
/proc/loadavg: 1.00 1.30 1.76 2/91 18500
/proc/meminfo: memFree=1146376/2055920 swapFree=4181048/4192956
[pid=18491] ppid=18489 vsize=868652 CPUtime=6.14
/proc/18491/stat : 18491 (java) S 18489 18491 17862 0 -1 0 14587 0 62 0 601 13 0 0 18 0 9 0 44289859 889499648 14002 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/18491/statm: 217163 14002 2014 9 0 211669 0
[pid=18491/tid=18493] ppid=18489 vsize=868652 CPUtime=5.89
/proc/18491/task/18493/stat : 18493 (java) R 18489 18491 17862 0 -1 64 13213 0 37 0 578 11 0 0 25 0 9 0 44289869 889499648 14002 996147200 134512640 134550740 4294955952 18446744073709551615 4126887511 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18491/tid=18494] ppid=18489 vsize=868652 CPUtime=0
/proc/18491/task/18494/stat : 18494 (java) S 18489 18491 17862 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44289881 889499648 14002 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=18491/tid=18495] ppid=18489 vsize=868652 CPUtime=0
/proc/18491/task/18495/stat : 18495 (java) S 18489 18491 17862 0 -1 64 10 0 0 0 0 0 0 0 19 0 9 0 44289881 889499648 14002 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18491/tid=18496] ppid=18489 vsize=868652 CPUtime=0
/proc/18491/task/18496/stat : 18496 (java) S 18489 18491 17862 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 44289881 889499648 14002 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18491/tid=18497] ppid=18489 vsize=868652 CPUtime=0
/proc/18491/task/18497/stat : 18497 (java) S 18489 18491 17862 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 44289884 889499648 14002 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18491/tid=18498] ppid=18489 vsize=868652 CPUtime=0.22
/proc/18491/task/18498/stat : 18498 (java) S 18489 18491 17862 0 -1 64 701 0 0 0 22 0 0 0 15 0 9 0 44289884 889499648 14002 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18491/tid=18499] ppid=18489 vsize=868652 CPUtime=0
/proc/18491/task/18499/stat : 18499 (java) S 18489 18491 17862 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44289884 889499648 14002 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18491/tid=18500] ppid=18489 vsize=868652 CPUtime=0
/proc/18491/task/18500/stat : 18500 (java) S 18489 18491 17862 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44289884 889499648 14002 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.14
Current children cumulated vsize (KiB) 868652
[startup+12.7022 s]
/proc/loadavg: 1.00 1.29 1.75 2/91 18500
/proc/meminfo: memFree=1116232/2055920 swapFree=4181048/4192956
[pid=18491] ppid=18489 vsize=868588 CPUtime=12.56
/proc/18491/stat : 18491 (java) S 18489 18491 17862 0 -1 0 22210 0 63 0 1237 19 0 0 18 0 9 0 44289859 889434112 21392 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/18491/statm: 217147 21392 2640 9 0 211653 0
[pid=18491/tid=18493] ppid=18489 vsize=868588 CPUtime=12.04
/proc/18491/task/18493/stat : 18493 (java) R 18489 18491 17862 0 -1 64 15829 0 38 0 1189 15 0 0 17 0 9 0 44289869 889434112 21392 996147200 134512640 134550740 4294955952 18446744073709551615 4126457579 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18491/tid=18494] ppid=18489 vsize=868588 CPUtime=0.17
/proc/18491/task/18494/stat : 18494 (java) S 18489 18491 17862 0 -1 64 4960 0 0 0 16 1 0 0 16 0 9 0 44289881 889434112 21392 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=18491/tid=18495] ppid=18489 vsize=868588 CPUtime=0
/proc/18491/task/18495/stat : 18495 (java) S 18489 18491 17862 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44289881 889434112 21392 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18491/tid=18496] ppid=18489 vsize=868588 CPUtime=0
/proc/18491/task/18496/stat : 18496 (java) S 18489 18491 17862 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44289881 889434112 21392 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18491/tid=18497] ppid=18489 vsize=868588 CPUtime=0
/proc/18491/task/18497/stat : 18497 (java) S 18489 18491 17862 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 44289884 889434112 21392 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18491/tid=18498] ppid=18489 vsize=868588 CPUtime=0.3
/proc/18491/task/18498/stat : 18498 (java) S 18489 18491 17862 0 -1 64 749 0 0 0 30 0 0 0 15 0 9 0 44289884 889434112 21392 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18491/tid=18499] ppid=18489 vsize=868588 CPUtime=0
/proc/18491/task/18499/stat : 18499 (java) S 18489 18491 17862 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44289884 889434112 21392 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18491/tid=18500] ppid=18489 vsize=868588 CPUtime=0
/proc/18491/task/18500/stat : 18500 (java) S 18489 18491 17862 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44289884 889434112 21392 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 868588
[startup+25.5015 s]
/proc/loadavg: 1.00 1.28 1.74 2/91 18502
/proc/meminfo: memFree=1113224/2055920 swapFree=4181052/4192956
[pid=18491] ppid=18489 vsize=868588 CPUtime=25.27
/proc/18491/stat : 18491 (java) S 18489 18491 17862 0 -1 0 22213 0 63 0 2504 23 0 0 18 0 9 0 44289859 889434112 21395 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/18491/statm: 217147 21395 2640 9 0 211653 0
[pid=18491/tid=18493] ppid=18489 vsize=868588 CPUtime=24.74
/proc/18491/task/18493/stat : 18493 (java) R 18489 18491 17862 0 -1 64 15829 0 38 0 2455 19 0 0 25 0 9 0 44289869 889434112 21395 996147200 134512640 134550740 4294955952 18446744073709551615 4127179302 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18491/tid=18494] ppid=18489 vsize=868588 CPUtime=0.17
/proc/18491/task/18494/stat : 18494 (java) S 18489 18491 17862 0 -1 64 4960 0 0 0 16 1 0 0 16 0 9 0 44289881 889434112 21395 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=18491/tid=18495] ppid=18489 vsize=868588 CPUtime=0
/proc/18491/task/18495/stat : 18495 (java) S 18489 18491 17862 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44289881 889434112 21395 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18491/tid=18496] ppid=18489 vsize=868588 CPUtime=0
/proc/18491/task/18496/stat : 18496 (java) S 18489 18491 17862 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44289881 889434112 21395 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18491/tid=18497] ppid=18489 vsize=868588 CPUtime=0
/proc/18491/task/18497/stat : 18497 (java) S 18489 18491 17862 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 44289884 889434112 21395 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18491/tid=18498] ppid=18489 vsize=868588 CPUtime=0.31
/proc/18491/task/18498/stat : 18498 (java) S 18489 18491 17862 0 -1 64 752 0 0 0 31 0 0 0 16 0 9 0 44289884 889434112 21395 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18491/tid=18499] ppid=18489 vsize=868588 CPUtime=0
/proc/18491/task/18499/stat : 18499 (java) S 18489 18491 17862 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44289884 889434112 21395 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18491/tid=18500] ppid=18489 vsize=868588 CPUtime=0
/proc/18491/task/18500/stat : 18500 (java) S 18489 18491 17862 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44289884 889434112 21395 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.27
Current children cumulated vsize (KiB) 868588
[startup+51.1011 s]
/proc/loadavg: 1.00 1.26 1.72 2/91 18502
/proc/meminfo: memFree=1113224/2055920 swapFree=4181052/4192956
[pid=18491] ppid=18489 vsize=868588 CPUtime=50.7
/proc/18491/stat : 18491 (java) S 18489 18491 17862 0 -1 0 22214 0 63 0 5042 28 0 0 18 0 9 0 44289859 889434112 21396 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/18491/statm: 217147 21396 2640 9 0 211653 0
[pid=18491/tid=18493] ppid=18489 vsize=868588 CPUtime=50.17
/proc/18491/task/18493/stat : 18493 (java) R 18489 18491 17862 0 -1 64 15829 0 38 0 4993 24 0 0 25 0 9 0 44289869 889434112 21396 996147200 134512640 134550740 4294955952 18446744073709551615 4127179295 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18491/tid=18494] ppid=18489 vsize=868588 CPUtime=0.17
/proc/18491/task/18494/stat : 18494 (java) S 18489 18491 17862 0 -1 64 4960 0 0 0 16 1 0 0 16 0 9 0 44289881 889434112 21396 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=18491/tid=18495] ppid=18489 vsize=868588 CPUtime=0
/proc/18491/task/18495/stat : 18495 (java) S 18489 18491 17862 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44289881 889434112 21396 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18491/tid=18496] ppid=18489 vsize=868588 CPUtime=0
/proc/18491/task/18496/stat : 18496 (java) S 18489 18491 17862 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44289881 889434112 21396 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18491/tid=18497] ppid=18489 vsize=868588 CPUtime=0
/proc/18491/task/18497/stat : 18497 (java) S 18489 18491 17862 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 44289884 889434112 21396 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18491/tid=18498] ppid=18489 vsize=868588 CPUtime=0.31
/proc/18491/task/18498/stat : 18498 (java) S 18489 18491 17862 0 -1 64 753 0 0 0 31 0 0 0 16 0 9 0 44289884 889434112 21396 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18491/tid=18499] ppid=18489 vsize=868588 CPUtime=0
################
# More data... #
################
/proc/18491/task/18497/stat : 18497 (java) S 18489 18491 17862 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 44289884 889434112 21399 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18491/tid=18498] ppid=18489 vsize=868588 CPUtime=0.31
/proc/18491/task/18498/stat : 18498 (java) S 18489 18491 17862 0 -1 64 756 0 0 0 31 0 0 0 16 0 9 0 44289884 889434112 21399 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18491/tid=18499] ppid=18489 vsize=868588 CPUtime=0
/proc/18491/task/18499/stat : 18499 (java) S 18489 18491 17862 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44289884 889434112 21399 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18491/tid=18500] ppid=18489 vsize=868588 CPUtime=0
/proc/18491/task/18500/stat : 18500 (java) S 18489 18491 17862 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44289884 889434112 21399 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.55
Current children cumulated vsize (KiB) 868588
[startup+162.301 s]
/proc/loadavg: 1.00 1.17 1.63 2/91 18502
/proc/meminfo: memFree=1091912/2055920 swapFree=4181052/4192956
[pid=18491] ppid=18489 vsize=868588 CPUtime=161.17
/proc/18491/stat : 18491 (java) S 18489 18491 17862 0 -1 0 39437 0 63 0 16070 47 0 0 18 0 9 0 44289859 889434112 38614 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/18491/statm: 217147 38614 2641 9 0 211653 0
[pid=18491/tid=18493] ppid=18489 vsize=868588 CPUtime=160.46
/proc/18491/task/18493/stat : 18493 (java) R 18489 18491 17862 0 -1 64 15883 0 38 0 16009 37 0 0 21 0 9 0 44289869 889434112 38614 996147200 134512640 134550740 4294955952 18446744073709551615 4126867383 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18491/tid=18494] ppid=18489 vsize=868588 CPUtime=0.31
/proc/18491/task/18494/stat : 18494 (java) S 18489 18491 17862 0 -1 64 22109 0 0 0 24 7 0 0 15 0 9 0 44289881 889434112 38614 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=18491/tid=18495] ppid=18489 vsize=868588 CPUtime=0
/proc/18491/task/18495/stat : 18495 (java) S 18489 18491 17862 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44289881 889434112 38614 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18491/tid=18496] ppid=18489 vsize=868588 CPUtime=0
/proc/18491/task/18496/stat : 18496 (java) S 18489 18491 17862 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 44289881 889434112 38614 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18491/tid=18497] ppid=18489 vsize=868588 CPUtime=0
/proc/18491/task/18497/stat : 18497 (java) S 18489 18491 17862 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 44289884 889434112 38614 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18491/tid=18498] ppid=18489 vsize=868588 CPUtime=0.34
/proc/18491/task/18498/stat : 18498 (java) S 18489 18491 17862 0 -1 64 773 0 0 0 34 0 0 0 16 0 9 0 44289884 889434112 38614 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18491/tid=18499] ppid=18489 vsize=868588 CPUtime=0
/proc/18491/task/18499/stat : 18499 (java) S 18489 18491 17862 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44289884 889434112 38614 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18491/tid=18500] ppid=18489 vsize=868588 CPUtime=0
/proc/18491/task/18500/stat : 18500 (java) S 18489 18491 17862 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44289884 889434112 38614 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 161.17
Current children cumulated vsize (KiB) 868588
Solver just ended. Dumping a history of the last processes samples
[startup+163.102 s]
/proc/loadavg: 1.00 1.17 1.63 2/91 18502
/proc/meminfo: memFree=1044104/2055920 swapFree=4181052/4192956
[pid=18491] ppid=18489 vsize=868588 CPUtime=161.96
/proc/18491/stat : 18491 (java) S 18489 18491 17862 0 -1 0 39438 0 63 0 16149 47 0 0 18 0 9 0 44289859 889434112 38614 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/18491/statm: 217147 38614 2641 9 0 211653 0
[pid=18491/tid=18493] ppid=18489 vsize=868588 CPUtime=161.25
/proc/18491/task/18493/stat : 18493 (java) R 18489 18491 17862 0 -1 64 15884 0 38 0 16088 37 0 0 25 0 9 0 44289869 889434112 38614 996147200 134512640 134550740 4294955952 18446744073709551615 4126865041 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18491/tid=18494] ppid=18489 vsize=868588 CPUtime=0.31
/proc/18491/task/18494/stat : 18494 (java) S 18489 18491 17862 0 -1 64 22109 0 0 0 24 7 0 0 17 0 9 0 44289881 889434112 38614 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=18491/tid=18495] ppid=18489 vsize=868588 CPUtime=0
/proc/18491/task/18495/stat : 18495 (java) S 18489 18491 17862 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44289881 889434112 38614 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18491/tid=18496] ppid=18489 vsize=868588 CPUtime=0
/proc/18491/task/18496/stat : 18496 (java) S 18489 18491 17862 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 44289881 889434112 38614 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18491/tid=18497] ppid=18489 vsize=868588 CPUtime=0
/proc/18491/task/18497/stat : 18497 (java) S 18489 18491 17862 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 44289884 889434112 38614 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18491/tid=18498] ppid=18489 vsize=868588 CPUtime=0.34
/proc/18491/task/18498/stat : 18498 (java) S 18489 18491 17862 0 -1 64 773 0 0 0 34 0 0 0 15 0 9 0 44289884 889434112 38614 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18491/tid=18499] ppid=18489 vsize=868588 CPUtime=0
/proc/18491/task/18499/stat : 18499 (java) S 18489 18491 17862 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44289884 889434112 38614 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18491/tid=18500] ppid=18489 vsize=868588 CPUtime=0
/proc/18491/task/18500/stat : 18500 (java) S 18489 18491 17862 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44289884 889434112 38614 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 161.96
Current children cumulated vsize (KiB) 868588
[startup+164.703 s]
/proc/loadavg: 1.00 1.17 1.63 2/91 18502
/proc/meminfo: memFree=1044104/2055920 swapFree=4181052/4192956
[pid=18491] ppid=18489 vsize=868588 CPUtime=163.55
/proc/18491/stat : 18491 (java) S 18489 18491 17862 0 -1 0 39438 0 63 0 16308 47 0 0 18 0 9 0 44289859 889434112 38614 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/18491/statm: 217147 38614 2641 9 0 211653 0
[pid=18491/tid=18493] ppid=18489 vsize=868588 CPUtime=162.85
/proc/18491/task/18493/stat : 18493 (java) R 18489 18491 17862 0 -1 64 15884 0 38 0 16248 37 0 0 25 0 9 0 44289869 889434112 38614 996147200 134512640 134550740 4294955952 18446744073709551615 4127265452 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18491/tid=18494] ppid=18489 vsize=868588 CPUtime=0.31
/proc/18491/task/18494/stat : 18494 (java) S 18489 18491 17862 0 -1 64 22109 0 0 0 24 7 0 0 16 0 9 0 44289881 889434112 38614 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=18491/tid=18495] ppid=18489 vsize=868588 CPUtime=0
/proc/18491/task/18495/stat : 18495 (java) S 18489 18491 17862 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44289881 889434112 38614 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18491/tid=18496] ppid=18489 vsize=868588 CPUtime=0
/proc/18491/task/18496/stat : 18496 (java) S 18489 18491 17862 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 44289881 889434112 38614 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18491/tid=18497] ppid=18489 vsize=868588 CPUtime=0
/proc/18491/task/18497/stat : 18497 (java) S 18489 18491 17862 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 44289884 889434112 38614 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18491/tid=18498] ppid=18489 vsize=868588 CPUtime=0.34
/proc/18491/task/18498/stat : 18498 (java) S 18489 18491 17862 0 -1 64 773 0 0 0 34 0 0 0 15 0 9 0 44289884 889434112 38614 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18491/tid=18499] ppid=18489 vsize=868588 CPUtime=0
/proc/18491/task/18499/stat : 18499 (java) S 18489 18491 17862 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44289884 889434112 38614 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18491/tid=18500] ppid=18489 vsize=868588 CPUtime=0
/proc/18491/task/18500/stat : 18500 (java) S 18489 18491 17862 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44289884 889434112 38614 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 163.55
Current children cumulated vsize (KiB) 868588
[startup+165.503 s]
/proc/loadavg: 1.00 1.17 1.63 2/91 18502
/proc/meminfo: memFree=1044104/2055920 swapFree=4181052/4192956
[pid=18491] ppid=18489 vsize=868588 CPUtime=164.35
/proc/18491/stat : 18491 (java) S 18489 18491 17862 0 -1 0 39438 0 63 0 16388 47 0 0 18 0 9 0 44289859 889434112 38614 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/18491/statm: 217147 38614 2641 9 0 211653 0
[pid=18491/tid=18493] ppid=18489 vsize=868588 CPUtime=163.64
/proc/18491/task/18493/stat : 18493 (java) R 18489 18491 17862 0 -1 64 15884 0 38 0 16327 37 0 0 25 0 9 0 44289869 889434112 38614 996147200 134512640 134550740 4294955952 18446744073709551615 4126864439 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18491/tid=18494] ppid=18489 vsize=868588 CPUtime=0.31
/proc/18491/task/18494/stat : 18494 (java) S 18489 18491 17862 0 -1 64 22109 0 0 0 24 7 0 0 16 0 9 0 44289881 889434112 38614 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=18491/tid=18495] ppid=18489 vsize=868588 CPUtime=0
/proc/18491/task/18495/stat : 18495 (java) S 18489 18491 17862 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44289881 889434112 38614 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18491/tid=18496] ppid=18489 vsize=868588 CPUtime=0
/proc/18491/task/18496/stat : 18496 (java) S 18489 18491 17862 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 44289881 889434112 38614 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18491/tid=18497] ppid=18489 vsize=868588 CPUtime=0
/proc/18491/task/18497/stat : 18497 (java) S 18489 18491 17862 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 44289884 889434112 38614 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18491/tid=18498] ppid=18489 vsize=868588 CPUtime=0.34
/proc/18491/task/18498/stat : 18498 (java) S 18489 18491 17862 0 -1 64 773 0 0 0 34 0 0 0 15 0 9 0 44289884 889434112 38614 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18491/tid=18499] ppid=18489 vsize=868588 CPUtime=0
/proc/18491/task/18499/stat : 18499 (java) S 18489 18491 17862 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44289884 889434112 38614 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18491/tid=18500] ppid=18489 vsize=868588 CPUtime=0
/proc/18491/task/18500/stat : 18500 (java) S 18489 18491 17862 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44289884 889434112 38614 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 164.35
Current children cumulated vsize (KiB) 868588
[startup+166.303 s]
/proc/loadavg: 1.00 1.17 1.63 2/91 18502
/proc/meminfo: memFree=1044104/2055920 swapFree=4181052/4192956
[pid=18491] ppid=18489 vsize=868588 CPUtime=165.14
/proc/18491/stat : 18491 (java) S 18489 18491 17862 0 -1 0 39438 0 63 0 16467 47 0 0 18 0 9 0 44289859 889434112 38614 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/18491/statm: 217147 38614 2641 9 0 211653 0
[pid=18491/tid=18493] ppid=18489 vsize=868588 CPUtime=164.43
/proc/18491/task/18493/stat : 18493 (java) R 18489 18491 17862 0 -1 64 15884 0 38 0 16406 37 0 0 25 0 9 0 44289869 889434112 38614 996147200 134512640 134550740 4294955952 18446744073709551615 4126860637 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18491/tid=18494] ppid=18489 vsize=868588 CPUtime=0.31
/proc/18491/task/18494/stat : 18494 (java) S 18489 18491 17862 0 -1 64 22109 0 0 0 24 7 0 0 16 0 9 0 44289881 889434112 38614 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=18491/tid=18495] ppid=18489 vsize=868588 CPUtime=0
/proc/18491/task/18495/stat : 18495 (java) S 18489 18491 17862 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44289881 889434112 38614 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18491/tid=18496] ppid=18489 vsize=868588 CPUtime=0
/proc/18491/task/18496/stat : 18496 (java) S 18489 18491 17862 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 44289881 889434112 38614 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18491/tid=18497] ppid=18489 vsize=868588 CPUtime=0
/proc/18491/task/18497/stat : 18497 (java) S 18489 18491 17862 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 44289884 889434112 38614 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18491/tid=18498] ppid=18489 vsize=868588 CPUtime=0.34
/proc/18491/task/18498/stat : 18498 (java) S 18489 18491 17862 0 -1 64 773 0 0 0 34 0 0 0 15 0 9 0 44289884 889434112 38614 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18491/tid=18499] ppid=18489 vsize=868588 CPUtime=0
/proc/18491/task/18499/stat : 18499 (java) S 18489 18491 17862 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44289884 889434112 38614 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18491/tid=18500] ppid=18489 vsize=868588 CPUtime=0
/proc/18491/task/18500/stat : 18500 (java) S 18489 18491 17862 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44289884 889434112 38614 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 165.14
Current children cumulated vsize (KiB) 868588
[startup+166.503 s]
/proc/loadavg: 1.00 1.17 1.63 2/91 18502
/proc/meminfo: memFree=1044104/2055920 swapFree=4181052/4192956
[pid=18491] ppid=18489 vsize=868588 CPUtime=165.34
/proc/18491/stat : 18491 (java) S 18489 18491 17862 0 -1 0 39448 0 63 0 16487 47 0 0 18 0 9 0 44289859 889434112 38622 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/18491/statm: 217147 38622 2640 9 0 211653 0
[pid=18491/tid=18493] ppid=18489 vsize=868588 CPUtime=164.56
/proc/18491/task/18493/stat : 18493 (java) S 18489 18491 17862 0 -1 64 15885 0 38 0 16419 37 0 0 25 0 9 0 44289869 889434112 38622 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18491/tid=18494] ppid=18489 vsize=868588 CPUtime=0.39
/proc/18491/task/18494/stat : 18494 (java) R 18489 18491 17862 0 -1 64 22118 0 0 0 32 7 0 0 16 0 9 0 44289881 889434112 38622 996147200 134512640 134550740 4294955952 18446744073709551615 102745437 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=18491/tid=18495] ppid=18489 vsize=868588 CPUtime=0
/proc/18491/task/18495/stat : 18495 (java) S 18489 18491 17862 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44289881 889434112 38622 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18491/tid=18496] ppid=18489 vsize=868588 CPUtime=0
/proc/18491/task/18496/stat : 18496 (java) S 18489 18491 17862 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 44289881 889434112 38622 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18491/tid=18497] ppid=18489 vsize=868588 CPUtime=0
/proc/18491/task/18497/stat : 18497 (java) S 18489 18491 17862 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 44289884 889434112 38622 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18491/tid=18498] ppid=18489 vsize=868588 CPUtime=0.34
/proc/18491/task/18498/stat : 18498 (java) S 18489 18491 17862 0 -1 64 773 0 0 0 34 0 0 0 16 0 9 0 44289884 889434112 38622 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18491/tid=18499] ppid=18489 vsize=868588 CPUtime=0
/proc/18491/task/18499/stat : 18499 (java) S 18489 18491 17862 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44289884 889434112 38622 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18491/tid=18500] ppid=18489 vsize=868588 CPUtime=0
/proc/18491/task/18500/stat : 18500 (java) S 18489 18491 17862 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44289884 889434112 38622 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 165.34
Current children cumulated vsize (KiB) 868588
[startup+166.603 s]
/proc/loadavg: 1.00 1.17 1.63 2/91 18502
/proc/meminfo: memFree=1044104/2055920 swapFree=4181052/4192956
[pid=18491] ppid=18489 vsize=0 CPUtime=165.42
/proc/18491/stat : 18491 (java) Z 18489 18491 17862 0 -1 12 43525 0 63 0 16492 50 0 0 16 0 2 0 44289859 0 0 996147200 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/18491/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 165.42
Current children cumulated vsize (KiB) 0
Child status: 0
Real time (s): 166.621
CPU time (s): 165.45
CPU user time (s): 164.928
CPU system time (s): 0.52192
CPU usage (%): 99.2972
Max. virtual memory (cumulated for all children) (KiB): 868716
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 164.928
system time used= 0.52192
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 43525
page faults= 63
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4544
involuntary context switches= 6408
runsolver used 0.226965 second user time and 0.570913 second system time
The end
Begin job on node67 at 2008-07-12 17:18:39
IDJOB=1112942
IDBENCH=61500
IDSOLVER=360
FILE ID=node67/1112942-1215875919
PBS_JOBID= 7903558
Free space on /tmp= 66432 MiB
SOLVER NAME= AbsconMax 112 pc-d
BENCH NAME= CPAI08/csp/fapp/fapp04/normalized-fapp04-0300-0.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp absconMax112V3.jar abscon.Resolution mrdac-ddeg.xml 1 XSax BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1112942-1215875919/watcher-1112942-1215875919 -o /tmp/evaluation-result-1112942-1215875919/solver-1112942-1215875919 -C 3600 -W 4000 -M 900 --output-limit 1,15 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp absconMax112V3.jar abscon.Resolution mrdac-ddeg.xml 1 XSax HOME/instance-1112942-1215875919.xml
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 3d5c26105aab0ca21b22d7bc9b077a6e
RANDOM SEED=387527887
node67.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.218
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.218
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: 1203832 kB
Buffers: 3008 kB
Cached: 28836 kB
SwapCached: 4672 kB
Active: 802496 kB
Inactive: 6604 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1203832 kB
SwapTotal: 4192956 kB
SwapFree: 4181048 kB
Dirty: 2588 kB
Writeback: 0 kB
Mapped: 794564 kB
Slab: 26628 kB
Committed_AS: 972488 kB
PageTables: 3392 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= 66432 MiB
End job on node67 at 2008-07-12 17:21:26