0.02/0.09
0.02/0.09 Abscon 112 (May, 2008)
0.18/0.25
0.18/0.25 configuration
0.18/0.25 name=mrdac-wdeg.xml
0.18/0.29
0.18/0.29 instance
0.18/0.29 name=HOME/instance-1113019-1215876935.xml
0.28/0.33
0.28/0.33 domains being loaded...
0.28/0.35
0.28/0.35 variables being loaded...
0.38/0.43 nbVariables=350 nbDomainTypes=5 minDomainSize=50 maxDomainSize=270 nbTotalValues=79311
0.38/0.43 => wckTime=0.176 cpuTime=0.14 mem=9M795
0.38/0.43
0.38/0.43 predicates being loaded...
0.47/0.50
0.47/0.50 constraints being loaded...
10.43/10.65
10.43/10.65 INFO : Stopping converting binary constraints (cpu=10.07, mem = 15M97)
11.13/11.36 nbConstraints=4665 nbConvertedConstraints=750 nbConvertConstraintsChecks=37098792 nbExtensionStructures=626
11.13/11.36 nbSharedExtensionStructures=434 nbConflictsStructures=837 nbSharedConflictsStructures=477
11.13/11.36 nbUnbuiltConflictsStructures=1440 nbSharedBinaryRepresentations=287053 nbEvaluationManagers=1651
11.13/11.36 nbSharedEvaluationManagers=2264 minDegree=5 maxDegree=40 minArity=2 maxArity=2
11.13/11.36 => wckTime=11.104 cpuTime=10.67 mem=47M278
11.32/11.52
11.32/11.52 solver LocalSearchSolver being built...
11.32/11.56 => wckTime=11.31 cpuTime=10.71 mem=15M739
11.42/11.61
11.42/11.61 s SATISFIABLE
11.42/11.61 o 1089
11.42/11.64 o 1080
11.42/11.66 o 1071
11.42/11.67 o 1062
11.42/11.68 o 1054
11.52/11.70 o 1051
11.52/11.71 o 1050
11.52/11.72 o 1045
11.52/11.73 o 1043
11.52/11.74 o 1035
11.52/11.76 o 1029
11.52/11.77 o 1021
11.52/11.78 o 1016
11.52/11.79 o 1012
11.62/11.80 o 1009
11.62/11.81 o 1007
11.62/11.82 o 1000
11.62/11.83 o 993
11.62/11.85 o 986
11.62/11.85 o 981
11.62/11.86 o 977
11.62/11.87 o 973
11.62/11.89 o 970
11.62/11.89 o 968
11.72/11.91 o 967
11.72/11.92 o 964
11.72/11.94 o 959
11.72/11.94 o 951
11.72/11.95 o 943
11.72/11.97 o 939
11.72/11.98 o 936
11.82/12.01 o 933
11.82/12.02 o 931
11.82/12.02 o 927
11.82/12.03 o 926
11.82/12.03 o 925
11.82/12.04 o 919
11.82/12.05 o 917
11.82/12.06 o 911
11.82/12.07 o 905
11.82/12.08 o 901
11.82/12.09 o 899
11.82/12.10 o 894
11.92/12.12 o 891
11.92/12.13 o 888
11.92/12.14 o 885
11.92/12.19 o 883
12.01/12.21 o 879
12.01/12.22 o 874
12.01/12.25 o 873
12.01/12.26 o 868
12.01/12.28 o 865
12.01/12.29 o 859
12.11/12.30 o 857
12.11/12.31 o 856
12.11/12.32 o 851
12.11/12.34 o 850
12.11/12.36 o 846
12.11/12.39 o 843
12.21/12.43 o 841
12.21/12.46 o 838
12.21/12.46 o 837
12.21/12.48 o 832
12.21/12.49 o 827
12.21/12.50 o 826
12.31/12.51 o 824
12.31/12.52 o 819
12.31/12.54 o 817
12.31/12.56 o 815
12.31/12.57 o 811
12.31/12.59 o 807
12.40/12.61 o 805
12.40/12.62 o 799
12.40/12.64 o 797
12.50/12.71 o 795
12.50/12.73 o 793
12.50/12.75 o 791
12.50/12.76 o 786
12.50/12.78 o 783
12.50/12.79 o 781
12.60/12.81 o 775
12.60/12.82 o 768
12.60/12.83 o 766
12.60/12.84 o 764
12.60/12.85 o 756
12.60/12.86 o 752
12.60/12.87 o 748
12.60/12.89 o 744
12.70/12.90 o 743
12.70/12.91 o 739
12.70/12.92 o 738
12.70/12.94 o 736
12.70/12.96 o 731
12.70/12.97 o 729
12.80/13.00 o 723
12.80/13.01 o 722
12.80/13.02 o 721
12.80/13.04 o 718
12.80/13.06 o 716
12.80/13.07 o 715
12.80/13.08 o 713
12.89/13.13 o 708
12.89/13.14 o 706
12.89/13.15 o 701
12.89/13.17 o 699
12.89/13.18 o 697
12.89/13.19 o 693
12.99/13.21 o 692
12.99/13.22 o 689
12.99/13.24 o 687
12.99/13.25 o 686
12.99/13.27 o 684
13.08/13.32 o 680
13.08/13.33 o 675
13.08/13.35 o 670
13.08/13.38 o 665
13.18/13.40 o 664
13.18/13.43 o 663
13.18/13.45 o 658
13.18/13.48 o 656
13.28/13.50 o 654
13.28/13.52 o 650
13.28/13.55 o 649
13.38/13.61 o 645
13.38/13.64 o 641
13.38/13.66 o 639
13.38/13.68 o 636
13.47/13.73 o 635
13.47/13.79 o 634
13.58/13.81 o 629
13.58/13.83 o 626
13.68/13.98 o 624
13.78/14.00 o 619
13.78/14.02 o 616
13.78/14.06 o 613
13.88/14.11 o 610
13.88/14.12 o 609
13.88/14.14 o 608
13.88/14.17 o 607
13.88/14.19 o 606
13.98/14.23 o 605
13.98/14.26 o 603
13.98/14.27 o 602
13.98/14.29 o 601
14.08/14.32 o 598
14.08/14.35 o 596
14.08/14.37 o 594
14.17/14.40 o 590
14.17/14.47 o 588
14.27/14.52 o 587
14.27/14.54 o 584
14.37/14.61 o 580
14.37/14.65 o 579
14.47/14.72 o 576
14.47/14.74 o 575
14.47/14.75 o 572
14.47/14.77 o 569
14.47/14.79 o 568
14.56/14.82 o 564
14.56/14.85 o 563
14.56/14.87 o 562
14.66/14.91 o 559
14.66/14.93 o 555
14.66/14.95 o 552
14.66/14.97 o 551
14.66/14.99 o 550
14.76/15.02 o 549
14.76/15.07 o 547
14.76/15.09 o 543
14.86/15.16 o 539
14.86/15.19 o 535
14.96/15.22 o 533
14.96/15.25 o 530
15.06/15.33 o 527
15.06/15.37 o 523
15.06/15.40 o 519
15.16/15.42 o 517
15.16/15.46 o 516
15.25/15.50 o 512
15.25/15.55 o 510
15.25/15.57 o 508
15.35/15.61 o 505
15.35/15.63 o 503
15.35/15.67 o 502
15.45/15.72 o 499
15.45/15.74 o 496
15.45/15.76 o 495
15.55/15.81 o 492
15.55/15.87 o 491
15.84/16.16 o 487
15.94/16.27 o 485
16.04/16.31 o 484
16.04/16.33 o 480
16.04/16.36 o 478
16.14/16.41 o 476
16.14/16.44 o 473
16.14/16.46 o 472
16.24/16.55 o 471
16.33/16.60 o 469
16.33/16.65 o 468
16.33/16.67 o 465
16.33/16.69 o 464
16.44/16.71 o 462
16.44/16.76 o 460
16.44/16.79 o 459
16.64/16.96 o 456
16.74/17.06 o 455
16.84/17.12 o 453
16.94/17.26 o 448
17.04/17.32 o 445
17.04/17.34 o 442
17.14/17.41 o 441
17.14/17.43 o 440
17.24/17.53 o 439
17.24/17.56 o 437
17.24/17.58 o 436
17.24/17.60 o 432
17.33/17.65 o 430
17.33/17.70 o 429
17.43/17.73 o 427
17.43/17.75 o 422
17.43/17.77 o 421
17.43/17.80 o 420
17.53/17.86 o 419
17.53/17.88 o 417
17.63/17.90 o 416
17.63/17.95 o 414
17.63/17.98 o 413
17.73/18.03 o 412
17.73/18.05 o 409
17.73/18.08 o 408
17.82/18.11 o 406
17.82/18.16 o 404
17.82/18.19 o 402
17.92/18.22 o 401
17.92/18.25 o 400
18.12/18.42 o 398
18.22/18.50 o 397
18.22/18.53 o 394
18.32/18.66 o 392
18.41/18.71 o 391
19.80/20.14 o 390
19.90/20.22 o 389
19.99/20.39 o 387
20.19/20.53 o 386
20.19/20.55 o 384
20.19/20.59 o 383
20.29/20.64 o 382
22.95/23.33 o 380
23.15/23.58 o 377
23.24/23.64 o 376
23.24/23.69 o 374
23.64/24.04 o 372
23.64/24.09 o 371
23.74/24.19 o 370
23.84/24.24 o 368
23.84/24.29 o 367
23.93/24.35 o 363
24.03/24.41 o 362
24.03/24.47 o 361
24.23/24.67 o 360
24.32/24.78 o 359
24.42/24.84 o 358
24.62/25.07 o 357
24.72/25.19 o 355
24.82/25.27 o 353
24.92/25.32 o 352
25.01/25.44 o 350
25.11/25.50 o 349
25.11/25.55 o 346
26.80/27.22 o 344
26.80/27.28 o 342
27.00/27.42 o 341
28.97/29.40 o 340
29.56/30.08 o 339
29.75/30.21 o 338
29.85/30.37 o 337
30.05/30.50 o 334
30.15/30.60 o 332
30.15/30.66 o 331
30.44/30.96 o 330
30.54/31.02 o 326
30.93/31.45 o 324
31.03/31.58 o 322
31.13/31.64 o 321
31.23/31.77 o 318
31.33/31.84 o 315
31.92/32.44 o 314
33.30/33.85 o 313
33.79/34.37 o 312
34.38/34.96 o 311
35.97/36.50 o 308
36.17/36.73 o 304
36.26/36.81 o 303
36.26/36.84 o 302
36.36/36.91 o 300
37.84/38.49 o 299
38.34/38.95 o 298
38.82/39.44 o 296
38.92/39.51 o 295
39.42/40.09 o 293
39.71/40.32 o 292
39.71/40.40 o 291
40.20/40.87 o 290
40.30/40.95 o 288
44.36/45.05 o 286
44.46/45.16 o 285
44.55/45.24 o 283
46.92/47.69 o 282
50.47/51.23 o 281
50.67/51.44 o 280
50.76/51.54 o 279
51.26/52.01 o 276
56.78/57.67 o 273
57.07/57.96 o 272
57.57/58.41 o 271
57.67/58.53 o 270
57.78/58.64 o 269
58.47/59.32 o 268
60.54/61.45 o 264
60.74/61.67 o 263
61.03/61.97 o 262
61.32/62.29 o 261
61.42/62.34 o 260
61.82/62.73 o 259
62.01/62.91 o 258
62.11/63.02 o 257
62.21/63.12 o 256
62.41/63.33 o 255
62.81/63.72 o 254
92.89/94.25
92.89/94.25 search
92.89/94.25 run=0 nbConstraintChecks=270847742 nbAssignments=1219
92.89/94.25 => wckTime=82.685 cpuTime=81.54 mem=16M772
92.89/94.25
92.89/94.25 global
92.89/94.25 nbConstraintChecks=270847742 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
92.89/94.25 solvingWckTime=82.683 solvingCpuTime=81.54 expiredTime=no totalExploration=no nbFoundSolutions=0
92.89/94.25 globalCpuTime=92.3
92.89/94.25 => wckTime=93.995 cpuTime=92.25 mem=16M772
92.89/94.25
92.89/94.25 solver DecomposerSolver being built...
93.38/94.72 => wckTime=94.463 cpuTime=92.46 mem=133M143
99.70/101.14
99.70/101.15 preprocessing
99.70/101.15 nbConstraintChecks=19691347 nbValidityChecks=113645 nbPropagations=351 nbRevisions=7378 nbUselessRevisions=7359
99.70/101.15 nbRemovedValues=912 detectedInconsistency=no
99.70/101.15 => wckTime=6.428 cpuTime=6.32 mem=133M143
99.89/101.32 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-1113019-1215876935/watcher-1113019-1215876935 -o /tmp/evaluation-result-1113019-1215876935/solver-1113019-1215876935 -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-wdeg.xml 1 XSax HOME/instance-1113019-1215876935.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.85 1.97 2.15 4/112 15757
/proc/meminfo: memFree=1194904/2055920 swapFree=4192812/4192956
[pid=15757] ppid=15755 vsize=18572 CPUtime=0
/proc/15757/stat : 15757 (runsolver) R 15755 15757 15720 0 -1 4194368 16 0 0 0 0 0 0 0 20 0 1 0 44390662 19017728 292 996147200 4194304 4296836 548682068336 18446744073709551615 270187162919 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/15757/statm: 4643 292 257 25 0 2626 0
[startup+0.044439 s]
/proc/loadavg: 1.85 1.97 2.15 4/112 15757
/proc/meminfo: memFree=1194904/2055920 swapFree=4192812/4192956
[pid=15757] ppid=15755 vsize=861876 CPUtime=0.02
/proc/15757/stat : 15757 (java) S 15755 15757 15720 0 -1 0 2237 0 1 0 1 1 0 0 20 0 5 0 44390662 882561024 1853 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800971 18446744073709551615 0 0 17 0 0 0
/proc/15757/statm: 215469 1853 851 9 0 210448 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 861876
[startup+0.101447 s]
/proc/loadavg: 1.85 1.97 2.15 4/112 15757
/proc/meminfo: memFree=1194904/2055920 swapFree=4192812/4192956
[pid=15757] ppid=15755 vsize=865988 CPUtime=0.08
/proc/15757/stat : 15757 (java) S 15755 15757 15720 0 -1 0 3700 0 1 0 6 2 0 0 20 0 9 0 44390662 886771712 3175 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/15757/statm: 216497 3175 1683 9 0 211052 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 865988
[startup+0.301487 s]
/proc/loadavg: 1.85 1.97 2.15 4/112 15757
/proc/meminfo: memFree=1194904/2055920 swapFree=4192812/4192956
[pid=15757] ppid=15755 vsize=866360 CPUtime=0.28
/proc/15757/stat : 15757 (java) S 15755 15757 15720 0 -1 0 5822 0 1 0 24 4 0 0 20 0 9 0 44390662 887152640 5197 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/15757/statm: 216590 5197 1955 9 0 211118 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 866360
[startup+0.701566 s]
/proc/loadavg: 1.85 1.97 2.15 4/112 15757
/proc/meminfo: memFree=1194904/2055920 swapFree=4192812/4192956
[pid=15757] ppid=15755 vsize=867604 CPUtime=0.67
/proc/15757/stat : 15757 (java) S 15755 15757 15720 0 -1 0 9208 0 1 0 61 6 0 0 20 0 9 0 44390662 888426496 8569 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/15757/statm: 216901 8569 2010 9 0 211407 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 867604
[startup+1.50272 s]
/proc/loadavg: 1.85 1.97 2.15 3/121 15766
/proc/meminfo: memFree=1156496/2055920 swapFree=4192812/4192956
[pid=15757] ppid=15755 vsize=867720 CPUtime=1.46
/proc/15757/stat : 15757 (java) S 15755 15757 15720 0 -1 0 12535 0 1 0 138 8 0 0 20 0 9 0 44390662 888545280 11893 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/15757/statm: 216930 11893 2014 9 0 211436 0
[pid=15757/tid=15759] ppid=15755 vsize=867720 CPUtime=1.28
/proc/15757/task/15759/stat : 15759 (java) R 15755 15757 15720 0 -1 64 11186 0 1 0 121 7 0 0 25 0 9 0 44390664 888545280 11893 996147200 134512640 134550740 4294955952 18446744073709551615 4126857337 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15757/tid=15760] ppid=15755 vsize=867720 CPUtime=0
/proc/15757/task/15760/stat : 15760 (java) S 15755 15757 15720 0 -1 64 5 0 0 0 0 0 0 0 17 0 9 0 44390665 888545280 11893 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=15757/tid=15761] ppid=15755 vsize=867720 CPUtime=0
/proc/15757/task/15761/stat : 15761 (java) S 15755 15757 15720 0 -1 64 10 0 0 0 0 0 0 0 23 0 9 0 44390665 888545280 11893 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15757/tid=15762] ppid=15755 vsize=867720 CPUtime=0
/proc/15757/task/15762/stat : 15762 (java) S 15755 15757 15720 0 -1 64 4 0 0 0 0 0 0 0 24 0 9 0 44390665 888545280 11893 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15757/tid=15763] ppid=15755 vsize=867720 CPUtime=0
/proc/15757/task/15763/stat : 15763 (java) S 15755 15757 15720 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 44390667 888545280 11893 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15757/tid=15764] ppid=15755 vsize=867720 CPUtime=0.16
/proc/15757/task/15764/stat : 15764 (java) S 15755 15757 15720 0 -1 64 651 0 0 0 16 0 0 0 16 0 9 0 44390667 888545280 11893 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15757/tid=15765] ppid=15755 vsize=867720 CPUtime=0
/proc/15757/task/15765/stat : 15765 (java) S 15755 15757 15720 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 44390667 888545280 11893 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15757/tid=15766] ppid=15755 vsize=867720 CPUtime=0
/proc/15757/task/15766/stat : 15766 (java) S 15755 15757 15720 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44390667 888545280 11893 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 867720
[startup+3.10303 s]
/proc/loadavg: 1.85 1.97 2.15 3/121 15766
/proc/meminfo: memFree=1153040/2055920 swapFree=4192812/4192956
[pid=15757] ppid=15755 vsize=867720 CPUtime=3.04
/proc/15757/stat : 15757 (java) S 15755 15757 15720 0 -1 0 13586 0 1 0 295 9 0 0 20 0 9 0 44390662 888545280 12942 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/15757/statm: 216930 12942 2014 9 0 211436 0
[pid=15757/tid=15759] ppid=15755 vsize=867720 CPUtime=2.84
/proc/15757/task/15759/stat : 15759 (java) R 15755 15757 15720 0 -1 64 12215 0 1 0 276 8 0 0 25 0 9 0 44390664 888545280 12942 996147200 134512640 134550740 4294955952 18446744073709551615 4126856764 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15757/tid=15760] ppid=15755 vsize=867720 CPUtime=0
/proc/15757/task/15760/stat : 15760 (java) S 15755 15757 15720 0 -1 64 5 0 0 0 0 0 0 0 17 0 9 0 44390665 888545280 12942 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=15757/tid=15761] ppid=15755 vsize=867720 CPUtime=0
/proc/15757/task/15761/stat : 15761 (java) S 15755 15757 15720 0 -1 64 10 0 0 0 0 0 0 0 23 0 9 0 44390665 888545280 12942 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15757/tid=15762] ppid=15755 vsize=867720 CPUtime=0
/proc/15757/task/15762/stat : 15762 (java) S 15755 15757 15720 0 -1 64 4 0 0 0 0 0 0 0 24 0 9 0 44390665 888545280 12942 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15757/tid=15763] ppid=15755 vsize=867720 CPUtime=0
/proc/15757/task/15763/stat : 15763 (java) S 15755 15757 15720 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 44390667 888545280 12942 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15757/tid=15764] ppid=15755 vsize=867720 CPUtime=0.19
/proc/15757/task/15764/stat : 15764 (java) S 15755 15757 15720 0 -1 64 673 0 0 0 19 0 0 0 16 0 9 0 44390667 888545280 12942 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15757/tid=15765] ppid=15755 vsize=867720 CPUtime=0
/proc/15757/task/15765/stat : 15765 (java) S 15755 15757 15720 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 44390667 888545280 12942 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15757/tid=15766] ppid=15755 vsize=867720 CPUtime=0
/proc/15757/task/15766/stat : 15766 (java) S 15755 15757 15720 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44390667 888545280 12942 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.04
Current children cumulated vsize (KiB) 867720
[startup+6.30165 s]
/proc/loadavg: 1.86 1.97 2.15 3/121 15766
/proc/meminfo: memFree=1143448/2055920 swapFree=4192812/4192956
[pid=15757] ppid=15755 vsize=867720 CPUtime=6.19
/proc/15757/stat : 15757 (java) S 15755 15757 15720 0 -1 0 15852 0 1 0 608 11 0 0 20 0 9 0 44390662 888545280 15205 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/15757/statm: 216930 15205 2014 9 0 211436 0
[pid=15757/tid=15759] ppid=15755 vsize=867720 CPUtime=5.98
/proc/15757/task/15759/stat : 15759 (java) R 15755 15757 15720 0 -1 64 14477 0 1 0 588 10 0 0 25 0 9 0 44390664 888545280 15205 996147200 134512640 134550740 4294955952 18446744073709551615 4126881689 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15757/tid=15760] ppid=15755 vsize=867720 CPUtime=0
/proc/15757/task/15760/stat : 15760 (java) S 15755 15757 15720 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44390665 888545280 15205 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=15757/tid=15761] ppid=15755 vsize=867720 CPUtime=0
/proc/15757/task/15761/stat : 15761 (java) S 15755 15757 15720 0 -1 64 10 0 0 0 0 0 0 0 23 0 9 0 44390665 888545280 15205 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15757/tid=15762] ppid=15755 vsize=867720 CPUtime=0
/proc/15757/task/15762/stat : 15762 (java) S 15755 15757 15720 0 -1 64 4 0 0 0 0 0 0 0 24 0 9 0 44390665 888545280 15205 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15757/tid=15763] ppid=15755 vsize=867720 CPUtime=0
/proc/15757/task/15763/stat : 15763 (java) S 15755 15757 15720 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 44390667 888545280 15205 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15757/tid=15764] ppid=15755 vsize=867720 CPUtime=0.2
/proc/15757/task/15764/stat : 15764 (java) S 15755 15757 15720 0 -1 64 677 0 0 0 20 0 0 0 15 0 9 0 44390667 888545280 15205 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15757/tid=15765] ppid=15755 vsize=867720 CPUtime=0
/proc/15757/task/15765/stat : 15765 (java) S 15755 15757 15720 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 44390667 888545280 15205 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15757/tid=15766] ppid=15755 vsize=867720 CPUtime=0
/proc/15757/task/15766/stat : 15766 (java) S 15755 15757 15720 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44390667 888545280 15205 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 867720
[startup+12.7029 s]
/proc/loadavg: 1.87 1.97 2.15 3/121 15766
/proc/meminfo: memFree=1117528/2055920 swapFree=4192812/4192956
[pid=15757] ppid=15755 vsize=867720 CPUtime=12.5
/proc/15757/stat : 15757 (java) S 15755 15757 15720 0 -1 0 22558 0 1 0 1235 15 0 0 20 0 9 0 44390662 888545280 21691 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/15757/statm: 216930 21691 2640 9 0 211436 0
[pid=15757/tid=15759] ppid=15755 vsize=867720 CPUtime=12
/proc/15757/task/15759/stat : 15759 (java) R 15755 15757 15720 0 -1 64 15875 0 1 0 1187 13 0 0 25 0 9 0 44390664 888545280 21691 996147200 134512640 134550740 4294955952 18446744073709551615 4127043080 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15757/tid=15760] ppid=15755 vsize=867720 CPUtime=0.2
/proc/15757/task/15760/stat : 15760 (java) S 15755 15757 15720 0 -1 64 5261 0 0 0 19 1 0 0 17 0 9 0 44390665 888545280 21691 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=15757/tid=15761] ppid=15755 vsize=867720 CPUtime=0
/proc/15757/task/15761/stat : 15761 (java) S 15755 15757 15720 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44390665 888545280 21691 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15757/tid=15762] ppid=15755 vsize=867720 CPUtime=0
/proc/15757/task/15762/stat : 15762 (java) S 15755 15757 15720 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44390665 888545280 21691 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15757/tid=15763] ppid=15755 vsize=867720 CPUtime=0
/proc/15757/task/15763/stat : 15763 (java) S 15755 15757 15720 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 44390667 888545280 21691 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15757/tid=15764] ppid=15755 vsize=867720 CPUtime=0.28
/proc/15757/task/15764/stat : 15764 (java) S 15755 15757 15720 0 -1 64 725 0 0 0 28 0 0 0 15 0 9 0 44390667 888545280 21691 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15757/tid=15765] ppid=15755 vsize=867720 CPUtime=0
/proc/15757/task/15765/stat : 15765 (java) S 15755 15757 15720 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 44390667 888545280 21691 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15757/tid=15766] ppid=15755 vsize=867720 CPUtime=0
/proc/15757/task/15766/stat : 15766 (java) S 15755 15757 15720 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44390667 888545280 21691 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.5
Current children cumulated vsize (KiB) 867720
[startup+25.5014 s]
/proc/loadavg: 1.90 1.97 2.15 3/121 15766
/proc/meminfo: memFree=1117528/2055920 swapFree=4192812/4192956
[pid=15757] ppid=15755 vsize=867720 CPUtime=25.11
/proc/15757/stat : 15757 (java) S 15755 15757 15720 0 -1 0 22561 0 1 0 2493 18 0 0 20 0 9 0 44390662 888545280 21694 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/15757/statm: 216930 21694 2640 9 0 211436 0
[pid=15757/tid=15759] ppid=15755 vsize=867720 CPUtime=24.61
/proc/15757/task/15759/stat : 15759 (java) R 15755 15757 15720 0 -1 64 15875 0 1 0 2445 16 0 0 25 0 9 0 44390664 888545280 21694 996147200 134512640 134550740 4294955952 18446744073709551615 4126856243 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15757/tid=15760] ppid=15755 vsize=867720 CPUtime=0.2
/proc/15757/task/15760/stat : 15760 (java) S 15755 15757 15720 0 -1 64 5261 0 0 0 19 1 0 0 16 0 9 0 44390665 888545280 21694 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=15757/tid=15761] ppid=15755 vsize=867720 CPUtime=0
/proc/15757/task/15761/stat : 15761 (java) S 15755 15757 15720 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44390665 888545280 21694 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15757/tid=15762] ppid=15755 vsize=867720 CPUtime=0
/proc/15757/task/15762/stat : 15762 (java) S 15755 15757 15720 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44390665 888545280 21694 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15757/tid=15763] ppid=15755 vsize=867720 CPUtime=0
/proc/15757/task/15763/stat : 15763 (java) S 15755 15757 15720 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 44390667 888545280 21694 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15757/tid=15764] ppid=15755 vsize=867720 CPUtime=0.28
/proc/15757/task/15764/stat : 15764 (java) S 15755 15757 15720 0 -1 64 728 0 0 0 28 0 0 0 15 0 9 0 44390667 888545280 21694 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15757/tid=15765] ppid=15755 vsize=867720 CPUtime=0
/proc/15757/task/15765/stat : 15765 (java) S 15755 15757 15720 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 44390667 888545280 21694 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15757/tid=15766] ppid=15755 vsize=867720 CPUtime=0
/proc/15757/task/15766/stat : 15766 (java) S 15755 15757 15720 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44390667 888545280 21694 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.11
Current children cumulated vsize (KiB) 867720
[startup+51.1014 s]
/proc/loadavg: 1.93 1.97 2.14 3/121 15766
/proc/meminfo: memFree=1117528/2055920 swapFree=4192812/4192956
[pid=15757] ppid=15755 vsize=867720 CPUtime=50.37
/proc/15757/stat : 15757 (java) S 15755 15757 15720 0 -1 0 22561 0 1 0 5016 21 0 0 20 0 9 0 44390662 888545280 21694 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/15757/statm: 216930 21694 2640 9 0 211436 0
[pid=15757/tid=15759] ppid=15755 vsize=867720 CPUtime=49.86
/proc/15757/task/15759/stat : 15759 (java) R 15755 15757 15720 0 -1 64 15875 0 1 0 4967 19 0 0 25 0 9 0 44390664 888545280 21694 996147200 134512640 134550740 4294955952 18446744073709551615 4126857303 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15757/tid=15760] ppid=15755 vsize=867720 CPUtime=0.2
/proc/15757/task/15760/stat : 15760 (java) S 15755 15757 15720 0 -1 64 5261 0 0 0 19 1 0 0 16 0 9 0 44390665 888545280 21694 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=15757/tid=15761] ppid=15755 vsize=867720 CPUtime=0
/proc/15757/task/15761/stat : 15761 (java) S 15755 15757 15720 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44390665 888545280 21694 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15757/tid=15762] ppid=15755 vsize=867720 CPUtime=0
/proc/15757/task/15762/stat : 15762 (java) S 15755 15757 15720 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44390665 888545280 21694 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15757/tid=15763] ppid=15755 vsize=867720 CPUtime=0
/proc/15757/task/15763/stat : 15763 (java) S 15755 15757 15720 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 44390667 888545280 21694 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15757/tid=15764] ppid=15755 vsize=867720 CPUtime=0.28
/proc/15757/task/15764/stat : 15764 (java) S 15755 15757 15720 0 -1 64 728 0 0 0 28 0 0 0 16 0 9 0 44390667 888545280 21694 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15757/tid=15765] ppid=15755 vsize=867720 CPUtime=0
################
# More data... #
################
/proc/15757/stat : 15757 (java) S 15755 15757 15720 0 -1 0 22561 0 1 0 7540 23 0 0 20 0 9 0 44390662 888545280 21694 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/15757/statm: 216930 21694 2640 9 0 211436 0
[pid=15757/tid=15759] ppid=15755 vsize=867720 CPUtime=75.12
/proc/15757/task/15759/stat : 15759 (java) R 15755 15757 15720 0 -1 64 15875 0 1 0 7492 20 0 0 25 0 9 0 44390664 888545280 21694 996147200 134512640 134550740 4294955952 18446744073709551615 4127173496 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15757/tid=15760] ppid=15755 vsize=867720 CPUtime=0.2
/proc/15757/task/15760/stat : 15760 (java) S 15755 15757 15720 0 -1 64 5261 0 0 0 19 1 0 0 16 0 9 0 44390665 888545280 21694 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=15757/tid=15761] ppid=15755 vsize=867720 CPUtime=0
/proc/15757/task/15761/stat : 15761 (java) S 15755 15757 15720 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44390665 888545280 21694 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15757/tid=15762] ppid=15755 vsize=867720 CPUtime=0
/proc/15757/task/15762/stat : 15762 (java) S 15755 15757 15720 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44390665 888545280 21694 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15757/tid=15763] ppid=15755 vsize=867720 CPUtime=0
/proc/15757/task/15763/stat : 15763 (java) S 15755 15757 15720 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 44390667 888545280 21694 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15757/tid=15764] ppid=15755 vsize=867720 CPUtime=0.28
/proc/15757/task/15764/stat : 15764 (java) S 15755 15757 15720 0 -1 64 728 0 0 0 28 0 0 0 16 0 9 0 44390667 888545280 21694 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15757/tid=15765] ppid=15755 vsize=867720 CPUtime=0
/proc/15757/task/15765/stat : 15765 (java) S 15755 15757 15720 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 44390667 888545280 21694 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15757/tid=15766] ppid=15755 vsize=867720 CPUtime=0
/proc/15757/task/15766/stat : 15766 (java) S 15755 15757 15720 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44390667 888545280 21694 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 75.63
Current children cumulated vsize (KiB) 867720
[startup+89.5029 s]
/proc/loadavg: 1.96 1.97 2.13 3/121 15766
/proc/meminfo: memFree=1117464/2055920 swapFree=4192812/4192956
[pid=15757] ppid=15755 vsize=867720 CPUtime=88.25
/proc/15757/stat : 15757 (java) S 15755 15757 15720 0 -1 0 22561 0 1 0 8802 23 0 0 20 0 9 0 44390662 888545280 21694 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/15757/statm: 216930 21694 2640 9 0 211436 0
[pid=15757/tid=15759] ppid=15755 vsize=867720 CPUtime=87.75
/proc/15757/task/15759/stat : 15759 (java) R 15755 15757 15720 0 -1 64 15875 0 1 0 8754 21 0 0 25 0 9 0 44390664 888545280 21694 996147200 134512640 134550740 4294955952 18446744073709551615 4126856208 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15757/tid=15760] ppid=15755 vsize=867720 CPUtime=0.2
/proc/15757/task/15760/stat : 15760 (java) S 15755 15757 15720 0 -1 64 5261 0 0 0 19 1 0 0 16 0 9 0 44390665 888545280 21694 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=15757/tid=15761] ppid=15755 vsize=867720 CPUtime=0
/proc/15757/task/15761/stat : 15761 (java) S 15755 15757 15720 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44390665 888545280 21694 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15757/tid=15762] ppid=15755 vsize=867720 CPUtime=0
/proc/15757/task/15762/stat : 15762 (java) S 15755 15757 15720 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44390665 888545280 21694 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15757/tid=15763] ppid=15755 vsize=867720 CPUtime=0
/proc/15757/task/15763/stat : 15763 (java) S 15755 15757 15720 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 44390667 888545280 21694 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15757/tid=15764] ppid=15755 vsize=867720 CPUtime=0.28
/proc/15757/task/15764/stat : 15764 (java) S 15755 15757 15720 0 -1 64 728 0 0 0 28 0 0 0 16 0 9 0 44390667 888545280 21694 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15757/tid=15765] ppid=15755 vsize=867720 CPUtime=0
/proc/15757/task/15765/stat : 15765 (java) S 15755 15757 15720 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 44390667 888545280 21694 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15757/tid=15766] ppid=15755 vsize=867720 CPUtime=0
/proc/15757/task/15766/stat : 15766 (java) S 15755 15757 15720 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44390667 888545280 21694 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 88.25
Current children cumulated vsize (KiB) 867720
[startup+95.9012 s]
/proc/loadavg: 1.97 1.97 2.13 3/121 15766
/proc/meminfo: memFree=1006680/2055920 swapFree=4192812/4192956
[pid=15757] ppid=15755 vsize=867720 CPUtime=94.57
/proc/15757/stat : 15757 (java) S 15755 15757 15720 0 -1 0 50257 0 1 0 9422 35 0 0 20 0 9 0 44390662 888545280 49384 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/15757/statm: 216930 49384 2641 9 0 211436 0
[pid=15757/tid=15759] ppid=15755 vsize=867720 CPUtime=93.8
/proc/15757/task/15759/stat : 15759 (java) R 15755 15757 15720 0 -1 64 15927 0 1 0 9358 22 0 0 25 0 9 0 44390664 888545280 49384 996147200 134512640 134550740 4294955952 18446744073709551615 4126852962 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15757/tid=15760] ppid=15755 vsize=867720 CPUtime=0.42
/proc/15757/task/15760/stat : 15760 (java) S 15755 15757 15720 0 -1 64 32884 0 0 0 31 11 0 0 17 0 9 0 44390665 888545280 49384 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=15757/tid=15761] ppid=15755 vsize=867720 CPUtime=0
/proc/15757/task/15761/stat : 15761 (java) S 15755 15757 15720 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44390665 888545280 49384 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15757/tid=15762] ppid=15755 vsize=867720 CPUtime=0
/proc/15757/task/15762/stat : 15762 (java) S 15755 15757 15720 0 -1 64 8 0 0 0 0 0 0 0 16 0 9 0 44390665 888545280 49384 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15757/tid=15763] ppid=15755 vsize=867720 CPUtime=0
/proc/15757/task/15763/stat : 15763 (java) S 15755 15757 15720 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 44390667 888545280 49384 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15757/tid=15764] ppid=15755 vsize=867720 CPUtime=0.31
/proc/15757/task/15764/stat : 15764 (java) S 15755 15757 15720 0 -1 64 746 0 0 0 31 0 0 0 15 0 9 0 44390667 888545280 49384 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15757/tid=15765] ppid=15755 vsize=867720 CPUtime=0
/proc/15757/task/15765/stat : 15765 (java) S 15755 15757 15720 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 44390667 888545280 49384 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15757/tid=15766] ppid=15755 vsize=867720 CPUtime=0
/proc/15757/task/15766/stat : 15766 (java) S 15755 15757 15720 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44390667 888545280 49384 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 94.57
Current children cumulated vsize (KiB) 867720
[startup+99.1028 s]
/proc/loadavg: 1.97 1.97 2.13 3/121 15766
/proc/meminfo: memFree=1006680/2055920 swapFree=4192812/4192956
[pid=15757] ppid=15755 vsize=867720 CPUtime=97.72
/proc/15757/stat : 15757 (java) S 15755 15757 15720 0 -1 0 50257 0 1 0 9737 35 0 0 20 0 9 0 44390662 888545280 49384 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/15757/statm: 216930 49384 2641 9 0 211436 0
[pid=15757/tid=15759] ppid=15755 vsize=867720 CPUtime=96.96
/proc/15757/task/15759/stat : 15759 (java) R 15755 15757 15720 0 -1 64 15927 0 1 0 9674 22 0 0 25 0 9 0 44390664 888545280 49384 996147200 134512640 134550740 4294955952 18446744073709551615 4126860827 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15757/tid=15760] ppid=15755 vsize=867720 CPUtime=0.42
/proc/15757/task/15760/stat : 15760 (java) S 15755 15757 15720 0 -1 64 32884 0 0 0 31 11 0 0 16 0 9 0 44390665 888545280 49384 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=15757/tid=15761] ppid=15755 vsize=867720 CPUtime=0
/proc/15757/task/15761/stat : 15761 (java) S 15755 15757 15720 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44390665 888545280 49384 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15757/tid=15762] ppid=15755 vsize=867720 CPUtime=0
/proc/15757/task/15762/stat : 15762 (java) S 15755 15757 15720 0 -1 64 8 0 0 0 0 0 0 0 16 0 9 0 44390665 888545280 49384 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15757/tid=15763] ppid=15755 vsize=867720 CPUtime=0
/proc/15757/task/15763/stat : 15763 (java) S 15755 15757 15720 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 44390667 888545280 49384 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15757/tid=15764] ppid=15755 vsize=867720 CPUtime=0.31
/proc/15757/task/15764/stat : 15764 (java) S 15755 15757 15720 0 -1 64 746 0 0 0 31 0 0 0 15 0 9 0 44390667 888545280 49384 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15757/tid=15765] ppid=15755 vsize=867720 CPUtime=0
/proc/15757/task/15765/stat : 15765 (java) S 15755 15757 15720 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 44390667 888545280 49384 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15757/tid=15766] ppid=15755 vsize=867720 CPUtime=0
/proc/15757/task/15766/stat : 15766 (java) S 15755 15757 15720 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44390667 888545280 49384 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 97.72
Current children cumulated vsize (KiB) 867720
[startup+100.702 s]
/proc/loadavg: 1.97 1.97 2.13 3/121 15766
/proc/meminfo: memFree=1006616/2055920 swapFree=4192812/4192956
[pid=15757] ppid=15755 vsize=867720 CPUtime=99.3
/proc/15757/stat : 15757 (java) S 15755 15757 15720 0 -1 0 50257 0 1 0 9895 35 0 0 20 0 9 0 44390662 888545280 49384 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/15757/statm: 216930 49384 2641 9 0 211436 0
[pid=15757/tid=15759] ppid=15755 vsize=867720 CPUtime=98.53
/proc/15757/task/15759/stat : 15759 (java) R 15755 15757 15720 0 -1 64 15927 0 1 0 9831 22 0 0 25 0 9 0 44390664 888545280 49384 996147200 134512640 134550740 4294955952 18446744073709551615 4126858160 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15757/tid=15760] ppid=15755 vsize=867720 CPUtime=0.42
/proc/15757/task/15760/stat : 15760 (java) S 15755 15757 15720 0 -1 64 32884 0 0 0 31 11 0 0 16 0 9 0 44390665 888545280 49384 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=15757/tid=15761] ppid=15755 vsize=867720 CPUtime=0
/proc/15757/task/15761/stat : 15761 (java) S 15755 15757 15720 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44390665 888545280 49384 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15757/tid=15762] ppid=15755 vsize=867720 CPUtime=0
/proc/15757/task/15762/stat : 15762 (java) S 15755 15757 15720 0 -1 64 8 0 0 0 0 0 0 0 16 0 9 0 44390665 888545280 49384 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15757/tid=15763] ppid=15755 vsize=867720 CPUtime=0
/proc/15757/task/15763/stat : 15763 (java) S 15755 15757 15720 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 44390667 888545280 49384 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15757/tid=15764] ppid=15755 vsize=867720 CPUtime=0.31
/proc/15757/task/15764/stat : 15764 (java) S 15755 15757 15720 0 -1 64 746 0 0 0 31 0 0 0 15 0 9 0 44390667 888545280 49384 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15757/tid=15765] ppid=15755 vsize=867720 CPUtime=0
/proc/15757/task/15765/stat : 15765 (java) S 15755 15757 15720 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 44390667 888545280 49384 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15757/tid=15766] ppid=15755 vsize=867720 CPUtime=0
/proc/15757/task/15766/stat : 15766 (java) S 15755 15757 15720 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44390667 888545280 49384 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 99.3
Current children cumulated vsize (KiB) 867720
[startup+101.101 s]
/proc/loadavg: 1.97 1.97 2.13 3/121 15766
/proc/meminfo: memFree=1006616/2055920 swapFree=4192812/4192956
[pid=15757] ppid=15755 vsize=867720 CPUtime=99.7
/proc/15757/stat : 15757 (java) S 15755 15757 15720 0 -1 0 50257 0 1 0 9935 35 0 0 20 0 9 0 44390662 888545280 49384 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/15757/statm: 216930 49384 2641 9 0 211436 0
[pid=15757/tid=15759] ppid=15755 vsize=867720 CPUtime=98.93
/proc/15757/task/15759/stat : 15759 (java) R 15755 15757 15720 0 -1 64 15927 0 1 0 9871 22 0 0 25 0 9 0 44390664 888545280 49384 996147200 134512640 134550740 4294955952 18446744073709551615 4126856731 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15757/tid=15760] ppid=15755 vsize=867720 CPUtime=0.42
/proc/15757/task/15760/stat : 15760 (java) S 15755 15757 15720 0 -1 64 32884 0 0 0 31 11 0 0 16 0 9 0 44390665 888545280 49384 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=15757/tid=15761] ppid=15755 vsize=867720 CPUtime=0
/proc/15757/task/15761/stat : 15761 (java) S 15755 15757 15720 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44390665 888545280 49384 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15757/tid=15762] ppid=15755 vsize=867720 CPUtime=0
/proc/15757/task/15762/stat : 15762 (java) S 15755 15757 15720 0 -1 64 8 0 0 0 0 0 0 0 16 0 9 0 44390665 888545280 49384 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15757/tid=15763] ppid=15755 vsize=867720 CPUtime=0
/proc/15757/task/15763/stat : 15763 (java) S 15755 15757 15720 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 44390667 888545280 49384 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15757/tid=15764] ppid=15755 vsize=867720 CPUtime=0.31
/proc/15757/task/15764/stat : 15764 (java) S 15755 15757 15720 0 -1 64 746 0 0 0 31 0 0 0 15 0 9 0 44390667 888545280 49384 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15757/tid=15765] ppid=15755 vsize=867720 CPUtime=0
/proc/15757/task/15765/stat : 15765 (java) S 15755 15757 15720 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 44390667 888545280 49384 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15757/tid=15766] ppid=15755 vsize=867720 CPUtime=0
/proc/15757/task/15766/stat : 15766 (java) R 15755 15757 15720 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44390667 888545280 49384 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 99.7
Current children cumulated vsize (KiB) 867720
[startup+101.301 s]
/proc/loadavg: 1.97 1.97 2.13 3/121 15766
/proc/meminfo: memFree=1006616/2055920 swapFree=4192812/4192956
[pid=15757] ppid=15755 vsize=867720 CPUtime=99.89
/proc/15757/stat : 15757 (java) S 15755 15757 15720 0 -1 0 51033 0 1 0 9954 35 0 0 20 0 9 0 44390662 888545280 50157 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/15757/statm: 216930 50157 2640 9 0 211436 0
[pid=15757/tid=15759] ppid=15755 vsize=867720 CPUtime=98.98
/proc/15757/task/15759/stat : 15759 (java) R 15755 15757 15720 0 -1 64 15931 0 1 0 9876 22 0 0 25 0 9 0 44390664 888545280 50157 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15757/tid=15760] ppid=15755 vsize=867720 CPUtime=0.57
/proc/15757/task/15760/stat : 15760 (java) R 15755 15757 15720 0 -1 64 33656 0 0 0 45 12 0 0 16 0 9 0 44390665 888545280 50157 996147200 134512640 134550740 4294955952 18446744073709551615 104182546 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=15757/tid=15761] ppid=15755 vsize=867720 CPUtime=0
/proc/15757/task/15761/stat : 15761 (java) S 15755 15757 15720 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44390665 888545280 50157 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15757/tid=15762] ppid=15755 vsize=867720 CPUtime=0
/proc/15757/task/15762/stat : 15762 (java) S 15755 15757 15720 0 -1 64 8 0 0 0 0 0 0 0 16 0 9 0 44390665 888545280 50157 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15757/tid=15763] ppid=15755 vsize=867720 CPUtime=0
/proc/15757/task/15763/stat : 15763 (java) S 15755 15757 15720 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 44390667 888545280 50157 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15757/tid=15764] ppid=15755 vsize=867720 CPUtime=0.31
/proc/15757/task/15764/stat : 15764 (java) S 15755 15757 15720 0 -1 64 746 0 0 0 31 0 0 0 16 0 9 0 44390667 888545280 50157 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15757/tid=15765] ppid=15755 vsize=867720 CPUtime=0
/proc/15757/task/15765/stat : 15765 (java) S 15755 15757 15720 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 44390667 888545280 50157 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15757/tid=15766] ppid=15755 vsize=867720 CPUtime=0
/proc/15757/task/15766/stat : 15766 (java) S 15755 15757 15720 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44390667 888545280 50157 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 99.89
Current children cumulated vsize (KiB) 867720
Child status: 0
Real time (s): 101.357
CPU time (s): 99.9558
CPU user time (s): 99.5579
CPU system time (s): 0.397939
CPU usage (%): 98.6176
Max. virtual memory (cumulated for all children) (KiB): 867720
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 99.5579
system time used= 0.397939
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 53838
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= 3797
involuntary context switches= 8535
runsolver used 0.178972 second user time and 0.513921 second system time
The end
Begin job on node88 at 2008-07-12 17:35:35
IDJOB=1113019
IDBENCH=61513
IDSOLVER=359
FILE ID=node88/1113019-1215876935
PBS_JOBID= 7903620
Free space on /tmp= 66500 MiB
SOLVER NAME= AbsconMax 112 pc-w
BENCH NAME= CPAI08/csp/fapp/fapp05/normalized-fapp05-0350-1.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp absconMax112V3.jar abscon.Resolution mrdac-wdeg.xml 1 XSax BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1113019-1215876935/watcher-1113019-1215876935 -o /tmp/evaluation-result-1113019-1215876935/solver-1113019-1215876935 -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-wdeg.xml 1 XSax HOME/instance-1113019-1215876935.xml
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 61e96c97715b7c95a31e810829750342
RANDOM SEED=512927885
node88.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.263
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 : 5931.00
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.263
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 : 5996.54
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1195384 kB
Buffers: 39056 kB
Cached: 570972 kB
SwapCached: 0 kB
Active: 725976 kB
Inactive: 70460 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1195384 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2792 kB
Writeback: 0 kB
Mapped: 207888 kB
Slab: 45284 kB
Committed_AS: 563268 kB
PageTables: 4868 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= 66496 MiB
End job on node88 at 2008-07-12 17:37:17