0.06/0.09
0.06/0.09 Abscon 112 (May, 2008)
0.18/0.25
0.18/0.25 configuration
0.18/0.25 name=mrdac-wdeg.xml
0.27/0.33
0.27/0.33 instance
0.27/0.33 name=HOME/instance-1112409-1215867510.xml
0.27/0.36
0.27/0.36 domains being loaded...
0.27/0.39
0.27/0.39 variables being loaded...
0.34/0.49 nbVariables=450 nbDomainTypes=87 minDomainSize=786 maxDomainSize=884 nbTotalValues=376122
0.34/0.49 => wckTime=0.239 cpuTime=0.15 mem=15M701
0.34/0.49
0.34/0.49 predicates being loaded...
0.44/0.55
0.44/0.55 constraints being loaded...
10.63/10.76
10.63/10.76 INFO : Stopping converting binary constraints (cpu=10.21, mem = 28M474)
11.43/11.55 nbConstraints=9675 nbConvertedConstraints=203 nbConvertConstraintsChecks=39106350 nbExtensionStructures=56
11.43/11.55 nbSharedExtensionStructures=147 nbConflictsStructures=56 nbSharedConflictsStructures=147
11.43/11.55 nbUnbuiltConflictsStructures=2044 nbSharedBinaryRepresentations=9898 nbEvaluationManagers=2044
11.43/11.55 nbSharedEvaluationManagers=7428 minDegree=29 maxDegree=57 minArity=2 maxArity=2
11.43/11.55 => wckTime=11.297 cpuTime=10.72 mem=43M99
11.64/11.73
11.64/11.73 solver LocalSearchSolver being built...
11.64/11.77 => wckTime=11.519 cpuTime=10.76 mem=39M865
11.73/11.88
11.73/11.88 s SATISFIABLE
11.73/11.88 o 1092
11.83/11.99 o 1079
11.93/12.03 o 1067
12.03/12.12 o 1054
12.03/12.18 o 1043
12.14/12.26 o 1034
12.24/12.33 o 1025
12.34/12.41 o 1014
12.34/12.49 o 1004
12.44/12.55 o 995
12.54/12.64 o 985
12.64/12.70 o 976
12.64/12.80 o 969
12.74/12.87 o 962
12.84/12.97 o 956
12.94/13.06 o 947
13.14/13.22 o 940
13.14/13.30 o 933
13.33/13.41 o 926
13.33/13.48 o 919
13.43/13.56 o 912
13.53/13.61 o 906
13.53/13.66 o 901
13.63/13.76 o 896
13.73/13.82 o 889
13.83/13.91 o 880
13.93/14.01 o 872
14.03/14.12 o 864
14.14/14.28 o 857
14.33/14.44 o 851
14.43/14.57 o 846
14.53/14.66 o 841
14.63/14.77 o 836
14.74/14.85 o 832
14.84/14.98 o 827
14.94/15.09 o 823
15.03/15.14 o 820
15.13/15.21 o 815
15.13/15.30 o 808
15.24/15.40 o 802
15.43/15.52 o 796
15.53/15.63 o 790
15.63/15.75 o 785
15.73/15.83 o 780
15.83/15.90 o 775
15.83/15.99 o 772
15.93/16.04 o 769
16.03/16.10 o 767
16.03/16.13 o 762
16.13/16.22 o 756
16.13/16.26 o 750
16.23/16.34 o 745
16.34/16.42 o 740
16.44/16.54 o 739
16.53/16.60 o 733
16.63/16.70 o 729
16.63/16.78 o 724
16.73/16.80 o 719
16.73/16.85 o 714
16.83/16.94 o 707
16.93/17.03 o 701
17.03/17.12 o 695
17.13/17.25 o 689
17.23/17.31 o 684
17.33/17.41 o 679
17.33/17.50 o 676
17.43/17.58 o 673
17.63/17.70 o 671
17.63/17.75 o 670
17.73/17.80 o 666
17.83/17.91 o 662
17.83/17.95 o 658
17.93/18.04 o 654
18.03/18.14 o 653
18.13/18.26 o 648
18.23/18.36 o 644
18.33/18.48 o 640
18.43/18.58 o 637
18.53/18.69 o 633
18.73/18.81 o 632
18.73/18.88 o 629
18.83/18.95 o 626
18.93/19.06 o 624
19.03/19.15 o 622
19.13/19.25 o 620
19.23/19.35 o 619
19.33/19.43 o 614
19.33/19.48 o 609
19.43/19.56 o 604
19.53/19.63 o 600
19.63/19.70 o 595
19.63/19.80 o 592
19.83/19.91 o 588
19.93/20.00 o 583
20.03/20.14 o 579
20.13/20.27 o 575
20.23/20.38 o 571
20.33/20.49 o 567
20.43/20.57 o 563
20.53/20.65 o 560
20.63/20.74 o 557
20.73/20.83 o 555
20.73/20.90 o 553
20.83/20.99 o 551
20.92/21.06 o 549
21.02/21.15 o 548
21.32/21.43 o 546
21.42/21.55 o 541
21.52/21.63 o 539
21.62/21.72 o 538
21.62/21.76 o 535
21.72/21.83 o 534
21.72/21.90 o 531
21.82/21.93 o 527
21.93/22.03 o 526
22.02/22.12 o 524
22.02/22.17 o 521
22.12/22.23 o 519
22.12/22.27 o 516
22.22/22.35 o 513
22.32/22.41 o 511
22.32/22.49 o 509
22.42/22.56 o 508
22.52/22.60 o 507
22.52/22.66 o 504
22.52/22.68 o 501
22.62/22.72 o 498
22.72/22.83 o 495
22.72/22.88 o 493
22.82/22.95 o 490
22.92/23.02 o 487
23.02/23.12 o 485
23.12/23.22 o 480
23.22/23.31 o 479
23.22/23.40 o 478
23.32/23.46 o 477
23.62/23.71 o 476
23.62/23.75 o 472
23.72/23.88 o 471
23.83/23.97 o 470
23.93/24.04 o 469
23.93/24.10 o 464
24.32/24.42 o 463
24.32/24.49 o 462
24.72/24.86 o 461
24.82/24.94 o 459
24.82/24.99 o 458
24.92/25.07 o 455
25.02/25.14 o 453
25.13/25.21 o 449
25.13/25.30 o 445
25.72/25.86 o 443
25.82/25.93 o 441
26.12/26.21 o 440
26.12/26.29 o 438
26.22/26.34 o 437
26.62/26.72 o 436
26.62/26.79 o 434
27.51/27.68 o 433
27.71/27.87 o 431
27.82/27.92 o 430
28.12/28.25 o 428
28.12/28.28 o 427
28.72/28.81 o 425
28.72/28.86 o 423
28.82/28.98 o 420
28.92/29.04 o 418
28.92/29.09 o 417
29.02/29.18 o 416
29.42/29.58 o 413
29.52/29.63 o 411
29.62/29.71 o 409
29.72/29.81 o 406
29.72/29.88 o 405
30.02/30.16 o 403
30.82/30.90 o 401
30.82/30.95 o 400
31.32/31.40 o 399
53.19/53.32 o 398
53.39/53.56 o 397
53.81/53.99 o 395
72.39/72.52 o 393
72.59/72.72 o 389
87.98/88.10 o 388
88.18/88.31 o 387
90.88/91.03 o 384
92.78/92.98 o 383
93.98/94.16 o 381
94.38/94.57 o 380
94.58/94.76 o 378
94.78/94.95 o 377
94.98/95.15 o 374
95.98/96.16 o 373
96.38/96.59 o 372
97.48/97.69 o 369
97.68/97.85 o 368
97.88/98.03 o 367
98.08/98.21 o 366
106.49/106.68 o 365
107.08/107.28 o 362
107.38/107.56 o 361
107.69/107.81 o 358
111.28/111.41 o 356
111.78/111.92 o 353
111.98/112.14 o 352
132.07/132.25 o 351
132.47/132.60 o 350
132.67/132.90 o 347
133.07/133.22 o 345
133.66/133.89 o 341
137.37/137.51 o 340
137.66/137.80 o 336
141.96/142.11 o 335
142.96/143.14 o 329
145.86/146.04 o 328
146.16/146.31 o 327
146.36/146.57 o 326
146.86/147.04 o 324
150.75/150.91 o 323
150.95/151.12 o 322
152.35/152.53 o 319
152.66/152.81 o 317
153.16/153.33 o 316
153.66/153.83 o 315
153.77/153.94 o 309
154.46/154.70 o 307
154.76/154.99 o 306
155.06/155.25 o 303
176.05/176.27 o 302
176.15/176.36 o 299
176.75/176.90 o 297
178.25/178.43 o 296
179.05/179.28 o 293
179.35/179.57 o 292
179.65/179.88 o 289
179.95/180.14 o 285
180.45/180.60 o 283
181.84/182.04 o 281
189.14/189.37 o 279
189.44/189.67 o 278
189.74/189.99 o 276
190.34/190.56 o 272
190.74/190.94 o 270
192.53/192.76 o 268
192.83/193.04 o 265
193.44/193.60 o 259
193.94/194.15 o 258
194.55/194.72 o 257
197.24/197.43 o 256
201.83/202.08 o 249
205.73/205.97 o 247
210.83/211.08 o 245
211.13/211.35 o 242
241.12/241.37
241.12/241.37 search
241.12/241.37 run=0 nbConstraintChecks=575003777 nbAssignments=1347
241.12/241.37 => wckTime=229.602 cpuTime=229.47 mem=39M865
241.12/241.37
241.12/241.37 global
241.12/241.37 nbConstraintChecks=575003777 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
241.12/241.37 solvingWckTime=229.587 solvingCpuTime=229.45 expiredTime=no totalExploration=no nbFoundSolutions=0
241.12/241.37 globalCpuTime=240.28
241.12/241.37 => wckTime=241.121 cpuTime=240.23 mem=39M865
241.12/241.38
241.12/241.38 solver DecomposerSolver being built...
245.12/245.39 => wckTime=245.136 cpuTime=240.88 mem=784M7
275.81/276.01
275.81/276.01 preprocessing
275.81/276.01 nbConstraintChecks=88582929 nbValidityChecks=621137 nbPropagations=450 nbRevisions=18944
275.81/276.01 nbUselessRevisions=18944 nbRemovedValues=0 detectedInconsistency=no
275.81/276.01 => wckTime=30.621 cpuTime=30.59 mem=784M334
276.20/276.43 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-1112409-1215867510/watcher-1112409-1215867510 -o /tmp/evaluation-result-1112409-1215867510/solver-1112409-1215867510 -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-1112409-1215867510.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.94 1.99 1.99 4/81 23188
/proc/meminfo: memFree=1937424/2055920 swapFree=4181008/4192956
[pid=23188] ppid=23186 vsize=1616 CPUtime=0
/proc/23188/stat : 23188 (java) D 23186 23188 22292 0 -1 0 180 0 0 0 0 0 0 0 18 0 1 0 43453944 1654784 148 996147200 134512640 134550740 4294956128 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099855350 0 0 17 0 0 0
/proc/23188/statm: 404 148 122 9 0 46 0
[startup+0.0880551 s]
/proc/loadavg: 1.94 1.99 1.99 4/81 23188
/proc/meminfo: memFree=1937424/2055920 swapFree=4181008/4192956
[pid=23188] ppid=23186 vsize=865984 CPUtime=0.06
/proc/23188/stat : 23188 (java) S 23186 23188 22292 0 -1 0 3603 0 1 0 5 1 0 0 18 0 9 0 43453944 886767616 3091 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/23188/statm: 216496 3091 1649 9 0 211051 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 865984
[startup+0.101375 s]
/proc/loadavg: 1.94 1.99 1.99 4/81 23188
/proc/meminfo: memFree=1937424/2055920 swapFree=4181008/4192956
[pid=23188] ppid=23186 vsize=867008 CPUtime=0.09
/proc/23188/stat : 23188 (java) S 23186 23188 22292 0 -1 0 3791 0 1 0 7 2 0 0 18 0 9 0 43453944 887816192 3247 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/23188/statm: 216752 3249 1716 9 0 211307 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 867008
[startup+0.301394 s]
/proc/loadavg: 1.94 1.99 1.99 4/81 23188
/proc/meminfo: memFree=1937424/2055920 swapFree=4181008/4192956
[pid=23188] ppid=23186 vsize=867272 CPUtime=0.27
/proc/23188/stat : 23188 (java) S 23186 23188 22292 0 -1 0 5709 0 1 0 24 3 0 0 18 0 9 0 43453944 888086528 5115 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/23188/statm: 216818 5115 1933 9 0 211346 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 867272
[startup+0.701436 s]
/proc/loadavg: 1.94 1.99 1.99 4/81 23188
/proc/meminfo: memFree=1937424/2055920 swapFree=4181008/4192956
[pid=23188] ppid=23186 vsize=868540 CPUtime=0.64
/proc/23188/stat : 23188 (java) S 23186 23188 22292 0 -1 0 9902 0 1 0 59 5 0 0 18 0 9 0 43453944 889384960 9263 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/23188/statm: 217135 9264 2010 9 0 211641 0
Current children cumulated CPU time (s) 0.64
Current children cumulated vsize (KiB) 868540
[startup+1.50152 s]
/proc/loadavg: 1.94 1.99 1.99 3/90 23197
/proc/meminfo: memFree=1891016/2055920 swapFree=4181008/4192956
[pid=23188] ppid=23186 vsize=868644 CPUtime=1.43
/proc/23188/stat : 23188 (java) S 23186 23188 22292 0 -1 0 14782 0 1 0 136 7 0 0 18 0 9 0 43453944 889491456 14140 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/23188/statm: 217161 14140 2014 9 0 211667 0
[pid=23188/tid=23190] ppid=23186 vsize=868644 CPUtime=1.25
/proc/23188/task/23190/stat : 23190 (java) R 23186 23188 22292 0 -1 64 13442 0 1 0 119 6 0 0 20 0 9 0 43453945 889491456 14140 996147200 134512640 134550740 4294955952 18446744073709551615 4125958350 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23188/tid=23191] ppid=23186 vsize=868644 CPUtime=0
/proc/23188/task/23191/stat : 23191 (java) S 23186 23188 22292 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 43453946 889491456 14140 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=23188/tid=23192] ppid=23186 vsize=868644 CPUtime=0
/proc/23188/task/23192/stat : 23192 (java) S 23186 23188 22292 0 -1 64 10 0 0 0 0 0 0 0 19 0 9 0 43453947 889491456 14140 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23188/tid=23193] ppid=23186 vsize=868644 CPUtime=0
/proc/23188/task/23193/stat : 23193 (java) S 23186 23188 22292 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 43453947 889491456 14140 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23188/tid=23194] ppid=23186 vsize=868644 CPUtime=0
/proc/23188/task/23194/stat : 23194 (java) S 23186 23188 22292 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 43453949 889491456 14140 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23188/tid=23195] ppid=23186 vsize=868644 CPUtime=0.16
/proc/23188/task/23195/stat : 23195 (java) S 23186 23188 22292 0 -1 64 643 0 0 0 16 0 0 0 15 0 9 0 43453949 889491456 14140 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23188/tid=23196] ppid=23186 vsize=868644 CPUtime=0
/proc/23188/task/23196/stat : 23196 (java) S 23186 23188 22292 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 43453949 889491456 14140 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23188/tid=23197] ppid=23186 vsize=868644 CPUtime=0
/proc/23188/task/23197/stat : 23197 (java) S 23186 23188 22292 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 43453949 889491456 14140 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.43
Current children cumulated vsize (KiB) 868644
[startup+3.10169 s]
/proc/loadavg: 1.94 1.99 1.99 3/90 23197
/proc/meminfo: memFree=1886984/2055920 swapFree=4181008/4192956
[pid=23188] ppid=23186 vsize=868644 CPUtime=3.04
/proc/23188/stat : 23188 (java) S 23186 23188 22292 0 -1 0 15518 0 1 0 296 8 0 0 18 0 9 0 43453944 889491456 14875 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/23188/statm: 217161 14875 2014 9 0 211667 0
[pid=23188/tid=23190] ppid=23186 vsize=868644 CPUtime=2.85
/proc/23188/task/23190/stat : 23190 (java) R 23186 23188 22292 0 -1 64 14176 0 1 0 278 7 0 0 25 0 9 0 43453945 889491456 14875 996147200 134512640 134550740 4294955952 18446744073709551615 4126885575 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23188/tid=23191] ppid=23186 vsize=868644 CPUtime=0
/proc/23188/task/23191/stat : 23191 (java) S 23186 23188 22292 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 43453946 889491456 14875 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=23188/tid=23192] ppid=23186 vsize=868644 CPUtime=0
/proc/23188/task/23192/stat : 23192 (java) S 23186 23188 22292 0 -1 64 10 0 0 0 0 0 0 0 19 0 9 0 43453947 889491456 14875 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23188/tid=23193] ppid=23186 vsize=868644 CPUtime=0
/proc/23188/task/23193/stat : 23193 (java) S 23186 23188 22292 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 43453947 889491456 14875 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23188/tid=23194] ppid=23186 vsize=868644 CPUtime=0
/proc/23188/task/23194/stat : 23194 (java) S 23186 23188 22292 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 43453949 889491456 14875 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23188/tid=23195] ppid=23186 vsize=868644 CPUtime=0.16
/proc/23188/task/23195/stat : 23195 (java) S 23186 23188 22292 0 -1 64 645 0 0 0 16 0 0 0 16 0 9 0 43453949 889491456 14875 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23188/tid=23196] ppid=23186 vsize=868644 CPUtime=0
/proc/23188/task/23196/stat : 23196 (java) S 23186 23188 22292 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 43453949 889491456 14875 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23188/tid=23197] ppid=23186 vsize=868644 CPUtime=0
/proc/23188/task/23197/stat : 23197 (java) S 23186 23188 22292 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 43453949 889491456 14875 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.04
Current children cumulated vsize (KiB) 868644
[startup+6.30302 s]
/proc/loadavg: 1.94 1.99 1.99 3/90 23197
/proc/meminfo: memFree=1880712/2055920 swapFree=4181008/4192956
[pid=23188] ppid=23186 vsize=868644 CPUtime=6.24
/proc/23188/stat : 23188 (java) S 23186 23188 22292 0 -1 0 16943 0 1 0 615 9 0 0 18 0 9 0 43453944 889491456 16299 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/23188/statm: 217161 16299 2014 9 0 211667 0
[pid=23188/tid=23190] ppid=23186 vsize=868644 CPUtime=6.05
/proc/23188/task/23190/stat : 23190 (java) R 23186 23188 22292 0 -1 64 15600 0 1 0 597 8 0 0 17 0 9 0 43453945 889491456 16299 996147200 134512640 134550740 4294955952 18446744073709551615 4126879641 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23188/tid=23191] ppid=23186 vsize=868644 CPUtime=0
/proc/23188/task/23191/stat : 23191 (java) S 23186 23188 22292 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 43453946 889491456 16299 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=23188/tid=23192] ppid=23186 vsize=868644 CPUtime=0
/proc/23188/task/23192/stat : 23192 (java) S 23186 23188 22292 0 -1 64 10 0 0 0 0 0 0 0 19 0 9 0 43453947 889491456 16299 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23188/tid=23193] ppid=23186 vsize=868644 CPUtime=0
/proc/23188/task/23193/stat : 23193 (java) S 23186 23188 22292 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 43453947 889491456 16299 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23188/tid=23194] ppid=23186 vsize=868644 CPUtime=0
/proc/23188/task/23194/stat : 23194 (java) S 23186 23188 22292 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 43453949 889491456 16299 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23188/tid=23195] ppid=23186 vsize=868644 CPUtime=0.17
/proc/23188/task/23195/stat : 23195 (java) S 23186 23188 22292 0 -1 64 646 0 0 0 17 0 0 0 15 0 9 0 43453949 889491456 16299 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23188/tid=23196] ppid=23186 vsize=868644 CPUtime=0
/proc/23188/task/23196/stat : 23196 (java) S 23186 23188 22292 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 43453949 889491456 16299 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23188/tid=23197] ppid=23186 vsize=868644 CPUtime=0
/proc/23188/task/23197/stat : 23197 (java) S 23186 23188 22292 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 43453949 889491456 16299 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 868644
[startup+12.7017 s]
/proc/loadavg: 1.95 1.99 1.99 3/90 23197
/proc/meminfo: memFree=1832008/2055920 swapFree=4181008/4192956
[pid=23188] ppid=23186 vsize=868644 CPUtime=12.64
/proc/23188/stat : 23188 (java) S 23186 23188 22292 0 -1 0 29564 0 1 0 1248 16 0 0 18 0 9 0 43453944 889491456 28698 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/23188/statm: 217161 28698 2640 9 0 211667 0
[pid=23188/tid=23190] ppid=23186 vsize=868644 CPUtime=11.86
/proc/23188/task/23190/stat : 23190 (java) R 23186 23188 22292 0 -1 64 15909 0 1 0 1177 9 0 0 25 0 9 0 43453945 889491456 28698 996147200 134512640 134550740 4294955952 18446744073709551615 4127157304 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23188/tid=23191] ppid=23186 vsize=868644 CPUtime=0.47
/proc/23188/task/23191/stat : 23191 (java) S 23186 23188 22292 0 -1 64 12245 0 0 0 42 5 0 0 17 0 9 0 43453946 889491456 28698 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=23188/tid=23192] ppid=23186 vsize=868644 CPUtime=0
/proc/23188/task/23192/stat : 23192 (java) S 23186 23188 22292 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43453947 889491456 28698 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23188/tid=23193] ppid=23186 vsize=868644 CPUtime=0
/proc/23188/task/23193/stat : 23193 (java) S 23186 23188 22292 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 43453947 889491456 28698 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23188/tid=23194] ppid=23186 vsize=868644 CPUtime=0
/proc/23188/task/23194/stat : 23194 (java) S 23186 23188 22292 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 43453949 889491456 28698 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23188/tid=23195] ppid=23186 vsize=868644 CPUtime=0.26
/proc/23188/task/23195/stat : 23195 (java) S 23186 23188 22292 0 -1 64 714 0 0 0 26 0 0 0 15 0 9 0 43453949 889491456 28698 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23188/tid=23196] ppid=23186 vsize=868644 CPUtime=0
/proc/23188/task/23196/stat : 23196 (java) S 23186 23188 22292 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 43453949 889491456 28698 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23188/tid=23197] ppid=23186 vsize=868644 CPUtime=0
/proc/23188/task/23197/stat : 23197 (java) S 23186 23188 22292 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 43453949 889491456 28698 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.64
Current children cumulated vsize (KiB) 868644
[startup+25.503 s]
/proc/loadavg: 1.96 1.99 1.99 3/90 23197
/proc/meminfo: memFree=1832008/2055920 swapFree=4181008/4192956
[pid=23188] ppid=23186 vsize=868612 CPUtime=25.42
/proc/23188/stat : 23188 (java) S 23186 23188 22292 0 -1 0 29566 0 1 0 2525 17 0 0 18 0 9 0 43453944 889458688 28699 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/23188/statm: 217153 28699 2640 9 0 211659 0
[pid=23188/tid=23190] ppid=23186 vsize=868612 CPUtime=24.65
/proc/23188/task/23190/stat : 23190 (java) R 23186 23188 22292 0 -1 64 15910 0 1 0 2455 10 0 0 25 0 9 0 43453945 889458688 28699 996147200 134512640 134550740 4294955952 18446744073709551615 4126857376 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23188/tid=23191] ppid=23186 vsize=868612 CPUtime=0.47
/proc/23188/task/23191/stat : 23191 (java) S 23186 23188 22292 0 -1 64 12245 0 0 0 42 5 0 0 16 0 9 0 43453946 889458688 28699 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=23188/tid=23192] ppid=23186 vsize=868612 CPUtime=0
/proc/23188/task/23192/stat : 23192 (java) S 23186 23188 22292 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43453947 889458688 28699 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23188/tid=23193] ppid=23186 vsize=868612 CPUtime=0
/proc/23188/task/23193/stat : 23193 (java) S 23186 23188 22292 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 43453947 889458688 28699 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23188/tid=23194] ppid=23186 vsize=868612 CPUtime=0
/proc/23188/task/23194/stat : 23194 (java) S 23186 23188 22292 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 43453949 889458688 28699 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23188/tid=23195] ppid=23186 vsize=868612 CPUtime=0.27
/proc/23188/task/23195/stat : 23195 (java) S 23186 23188 22292 0 -1 64 715 0 0 0 27 0 0 0 16 0 9 0 43453949 889458688 28699 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23188/tid=23196] ppid=23186 vsize=868612 CPUtime=0
/proc/23188/task/23196/stat : 23196 (java) S 23186 23188 22292 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 43453949 889458688 28699 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23188/tid=23197] ppid=23186 vsize=868612 CPUtime=0
/proc/23188/task/23197/stat : 23197 (java) S 23186 23188 22292 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 43453949 889458688 28699 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.42
Current children cumulated vsize (KiB) 868612
[startup+51.1027 s]
/proc/loadavg: 1.97 1.99 1.99 3/90 23197
/proc/meminfo: memFree=1832008/2055920 swapFree=4181008/4192956
[pid=23188] ppid=23186 vsize=868612 CPUtime=51
/proc/23188/stat : 23188 (java) S 23186 23188 22292 0 -1 0 29567 0 1 0 5081 19 0 0 18 0 9 0 43453944 889458688 28700 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/23188/statm: 217153 28700 2640 9 0 211659 0
[pid=23188/tid=23190] ppid=23186 vsize=868612 CPUtime=50.23
/proc/23188/task/23190/stat : 23190 (java) R 23186 23188 22292 0 -1 64 15910 0 1 0 5010 13 0 0 25 0 9 0 43453945 889458688 28700 996147200 134512640 134550740 4294955952 18446744073709551615 4126886107 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23188/tid=23191] ppid=23186 vsize=868612 CPUtime=0.47
/proc/23188/task/23191/stat : 23191 (java) S 23186 23188 22292 0 -1 64 12245 0 0 0 42 5 0 0 16 0 9 0 43453946 889458688 28700 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=23188/tid=23192] ppid=23186 vsize=868612 CPUtime=0
/proc/23188/task/23192/stat : 23192 (java) S 23186 23188 22292 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43453947 889458688 28700 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23188/tid=23193] ppid=23186 vsize=868612 CPUtime=0
/proc/23188/task/23193/stat : 23193 (java) S 23186 23188 22292 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 43453947 889458688 28700 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23188/tid=23194] ppid=23186 vsize=868612 CPUtime=0
/proc/23188/task/23194/stat : 23194 (java) S 23186 23188 22292 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 43453949 889458688 28700 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23188/tid=23195] ppid=23186 vsize=868612 CPUtime=0.27
/proc/23188/task/23195/stat : 23195 (java) S 23186 23188 22292 0 -1 64 716 0 0 0 27 0 0 0 16 0 9 0 43453949 889458688 28700 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23188/tid=23196] ppid=23186 vsize=868612 CPUtime=0
################
# More data... #
################
/proc/23188/task/23193/stat : 23193 (java) S 23186 23188 22292 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 43453947 889458688 28702 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23188/tid=23194] ppid=23186 vsize=868612 CPUtime=0
/proc/23188/task/23194/stat : 23194 (java) S 23186 23188 22292 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 43453949 889458688 28702 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23188/tid=23195] ppid=23186 vsize=868612 CPUtime=0.27
/proc/23188/task/23195/stat : 23195 (java) S 23186 23188 22292 0 -1 64 718 0 0 0 27 0 0 0 16 0 9 0 43453949 889458688 28702 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23188/tid=23196] ppid=23186 vsize=868612 CPUtime=0
/proc/23188/task/23196/stat : 23196 (java) S 23186 23188 22292 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 43453949 889458688 28702 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23188/tid=23197] ppid=23186 vsize=868612 CPUtime=0
/proc/23188/task/23197/stat : 23197 (java) S 23186 23188 22292 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 43453949 889458688 28702 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 230.12
Current children cumulated vsize (KiB) 868612
[startup+255.903 s]
/proc/loadavg: 2.06 2.01 2.00 3/90 23203
/proc/meminfo: memFree=1146120/2055920 swapFree=4181008/4192956
[pid=23188] ppid=23186 vsize=868648 CPUtime=255.71
/proc/23188/stat : 23188 (java) S 23186 23188 22292 0 -1 0 200541 0 1 0 25482 89 0 0 18 0 9 0 43453944 889495552 199520 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/23188/statm: 217162 199520 2618 9 0 211690 0
[pid=23188/tid=23190] ppid=23186 vsize=868648 CPUtime=251.56
/proc/23188/task/23190/stat : 23190 (java) R 23186 23188 22292 0 -1 64 16004 0 1 0 25135 21 0 0 25 0 9 0 43453945 889495552 199520 996147200 134512640 134550740 4294955952 18446744073709551615 4126888400 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23188/tid=23191] ppid=23186 vsize=868648 CPUtime=3.81
/proc/23188/task/23191/stat : 23191 (java) S 23186 23188 22292 0 -1 64 183087 0 0 0 315 66 0 0 16 0 9 0 43453946 889495552 199520 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=23188/tid=23192] ppid=23186 vsize=868648 CPUtime=0
/proc/23188/task/23192/stat : 23192 (java) S 23186 23188 22292 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43453947 889495552 199520 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23188/tid=23193] ppid=23186 vsize=868648 CPUtime=0
/proc/23188/task/23193/stat : 23193 (java) S 23186 23188 22292 0 -1 64 21 0 0 0 0 0 0 0 15 0 9 0 43453947 889495552 199520 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23188/tid=23194] ppid=23186 vsize=868648 CPUtime=0
/proc/23188/task/23194/stat : 23194 (java) S 23186 23188 22292 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 43453949 889495552 199520 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23188/tid=23195] ppid=23186 vsize=868648 CPUtime=0.31
/proc/23188/task/23195/stat : 23195 (java) S 23186 23188 22292 0 -1 64 738 0 0 0 31 0 0 0 16 0 9 0 43453949 889495552 199520 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23188/tid=23196] ppid=23186 vsize=868648 CPUtime=0
/proc/23188/task/23196/stat : 23196 (java) S 23186 23188 22292 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 43453949 889495552 199520 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23188/tid=23197] ppid=23186 vsize=868648 CPUtime=0
/proc/23188/task/23197/stat : 23197 (java) S 23186 23188 22292 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 43453949 889495552 199520 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 255.71
Current children cumulated vsize (KiB) 868648
[startup+268.701 s]
/proc/loadavg: 2.05 2.01 2.00 3/90 23203
/proc/meminfo: memFree=1146248/2055920 swapFree=4181008/4192956
[pid=23188] ppid=23186 vsize=868648 CPUtime=268.5
/proc/23188/stat : 23188 (java) S 23186 23188 22292 0 -1 0 200541 0 1 0 26761 89 0 0 18 0 9 0 43453944 889495552 199520 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/23188/statm: 217162 199520 2618 9 0 211690 0
[pid=23188/tid=23190] ppid=23186 vsize=868648 CPUtime=264.35
/proc/23188/task/23190/stat : 23190 (java) R 23186 23188 22292 0 -1 64 16004 0 1 0 26414 21 0 0 25 0 9 0 43453945 889495552 199520 996147200 134512640 134550740 4294955952 18446744073709551615 4127156333 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23188/tid=23191] ppid=23186 vsize=868648 CPUtime=3.81
/proc/23188/task/23191/stat : 23191 (java) S 23186 23188 22292 0 -1 64 183087 0 0 0 315 66 0 0 16 0 9 0 43453946 889495552 199520 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=23188/tid=23192] ppid=23186 vsize=868648 CPUtime=0
/proc/23188/task/23192/stat : 23192 (java) S 23186 23188 22292 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43453947 889495552 199520 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23188/tid=23193] ppid=23186 vsize=868648 CPUtime=0
/proc/23188/task/23193/stat : 23193 (java) S 23186 23188 22292 0 -1 64 21 0 0 0 0 0 0 0 15 0 9 0 43453947 889495552 199520 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23188/tid=23194] ppid=23186 vsize=868648 CPUtime=0
/proc/23188/task/23194/stat : 23194 (java) S 23186 23188 22292 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 43453949 889495552 199520 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23188/tid=23195] ppid=23186 vsize=868648 CPUtime=0.31
/proc/23188/task/23195/stat : 23195 (java) S 23186 23188 22292 0 -1 64 738 0 0 0 31 0 0 0 16 0 9 0 43453949 889495552 199520 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23188/tid=23196] ppid=23186 vsize=868648 CPUtime=0
/proc/23188/task/23196/stat : 23196 (java) S 23186 23188 22292 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 43453949 889495552 199520 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23188/tid=23197] ppid=23186 vsize=868648 CPUtime=0
/proc/23188/task/23197/stat : 23197 (java) S 23186 23188 22292 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 43453949 889495552 199520 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 268.5
Current children cumulated vsize (KiB) 868648
[startup+271.903 s]
/proc/loadavg: 2.05 2.01 2.00 3/90 23203
/proc/meminfo: memFree=1146248/2055920 swapFree=4181008/4192956
[pid=23188] ppid=23186 vsize=868648 CPUtime=271.7
/proc/23188/stat : 23188 (java) S 23186 23188 22292 0 -1 0 200541 0 1 0 27081 89 0 0 18 0 9 0 43453944 889495552 199520 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/23188/statm: 217162 199520 2618 9 0 211690 0
[pid=23188/tid=23190] ppid=23186 vsize=868648 CPUtime=267.55
/proc/23188/task/23190/stat : 23190 (java) R 23186 23188 22292 0 -1 64 16004 0 1 0 26734 21 0 0 25 0 9 0 43453945 889495552 199520 996147200 134512640 134550740 4294955952 18446744073709551615 4126885488 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23188/tid=23191] ppid=23186 vsize=868648 CPUtime=3.81
/proc/23188/task/23191/stat : 23191 (java) S 23186 23188 22292 0 -1 64 183087 0 0 0 315 66 0 0 16 0 9 0 43453946 889495552 199520 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=23188/tid=23192] ppid=23186 vsize=868648 CPUtime=0
/proc/23188/task/23192/stat : 23192 (java) S 23186 23188 22292 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43453947 889495552 199520 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23188/tid=23193] ppid=23186 vsize=868648 CPUtime=0
/proc/23188/task/23193/stat : 23193 (java) S 23186 23188 22292 0 -1 64 21 0 0 0 0 0 0 0 15 0 9 0 43453947 889495552 199520 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23188/tid=23194] ppid=23186 vsize=868648 CPUtime=0
/proc/23188/task/23194/stat : 23194 (java) S 23186 23188 22292 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 43453949 889495552 199520 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23188/tid=23195] ppid=23186 vsize=868648 CPUtime=0.31
/proc/23188/task/23195/stat : 23195 (java) S 23186 23188 22292 0 -1 64 738 0 0 0 31 0 0 0 16 0 9 0 43453949 889495552 199520 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23188/tid=23196] ppid=23186 vsize=868648 CPUtime=0
/proc/23188/task/23196/stat : 23196 (java) S 23186 23188 22292 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 43453949 889495552 199520 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23188/tid=23197] ppid=23186 vsize=868648 CPUtime=0
/proc/23188/task/23197/stat : 23197 (java) S 23186 23188 22292 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 43453949 889495552 199520 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 271.7
Current children cumulated vsize (KiB) 868648
[startup+275.103 s]
/proc/loadavg: 2.04 2.01 2.00 3/90 23203
/proc/meminfo: memFree=1146248/2055920 swapFree=4181008/4192956
[pid=23188] ppid=23186 vsize=868648 CPUtime=274.9
/proc/23188/stat : 23188 (java) S 23186 23188 22292 0 -1 0 200541 0 1 0 27401 89 0 0 18 0 9 0 43453944 889495552 199520 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/23188/statm: 217162 199520 2618 9 0 211690 0
[pid=23188/tid=23190] ppid=23186 vsize=868648 CPUtime=270.75
/proc/23188/task/23190/stat : 23190 (java) R 23186 23188 22292 0 -1 64 16004 0 1 0 27054 21 0 0 25 0 9 0 43453945 889495552 199520 996147200 134512640 134550740 4294955952 18446744073709551615 4127234824 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23188/tid=23191] ppid=23186 vsize=868648 CPUtime=3.81
/proc/23188/task/23191/stat : 23191 (java) S 23186 23188 22292 0 -1 64 183087 0 0 0 315 66 0 0 16 0 9 0 43453946 889495552 199520 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=23188/tid=23192] ppid=23186 vsize=868648 CPUtime=0
/proc/23188/task/23192/stat : 23192 (java) S 23186 23188 22292 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43453947 889495552 199520 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23188/tid=23193] ppid=23186 vsize=868648 CPUtime=0
/proc/23188/task/23193/stat : 23193 (java) S 23186 23188 22292 0 -1 64 21 0 0 0 0 0 0 0 15 0 9 0 43453947 889495552 199520 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23188/tid=23194] ppid=23186 vsize=868648 CPUtime=0
/proc/23188/task/23194/stat : 23194 (java) S 23186 23188 22292 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 43453949 889495552 199520 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23188/tid=23195] ppid=23186 vsize=868648 CPUtime=0.31
/proc/23188/task/23195/stat : 23195 (java) S 23186 23188 22292 0 -1 64 738 0 0 0 31 0 0 0 16 0 9 0 43453949 889495552 199520 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23188/tid=23196] ppid=23186 vsize=868648 CPUtime=0
/proc/23188/task/23196/stat : 23196 (java) S 23186 23188 22292 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 43453949 889495552 199520 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23188/tid=23197] ppid=23186 vsize=868648 CPUtime=0
/proc/23188/task/23197/stat : 23197 (java) S 23186 23188 22292 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 43453949 889495552 199520 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 274.9
Current children cumulated vsize (KiB) 868648
[startup+275.901 s]
/proc/loadavg: 2.04 2.01 2.00 3/90 23203
/proc/meminfo: memFree=1146248/2055920 swapFree=4181008/4192956
[pid=23188] ppid=23186 vsize=868648 CPUtime=275.7
/proc/23188/stat : 23188 (java) S 23186 23188 22292 0 -1 0 200541 0 1 0 27481 89 0 0 18 0 9 0 43453944 889495552 199520 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/23188/statm: 217162 199520 2618 9 0 211690 0
[pid=23188/tid=23190] ppid=23186 vsize=868648 CPUtime=271.55
/proc/23188/task/23190/stat : 23190 (java) R 23186 23188 22292 0 -1 64 16004 0 1 0 27134 21 0 0 25 0 9 0 43453945 889495552 199520 996147200 134512640 134550740 4294955952 18446744073709551615 4126854912 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23188/tid=23191] ppid=23186 vsize=868648 CPUtime=3.81
/proc/23188/task/23191/stat : 23191 (java) S 23186 23188 22292 0 -1 64 183087 0 0 0 315 66 0 0 16 0 9 0 43453946 889495552 199520 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=23188/tid=23192] ppid=23186 vsize=868648 CPUtime=0
/proc/23188/task/23192/stat : 23192 (java) S 23186 23188 22292 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43453947 889495552 199520 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23188/tid=23193] ppid=23186 vsize=868648 CPUtime=0
/proc/23188/task/23193/stat : 23193 (java) S 23186 23188 22292 0 -1 64 21 0 0 0 0 0 0 0 15 0 9 0 43453947 889495552 199520 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23188/tid=23194] ppid=23186 vsize=868648 CPUtime=0
/proc/23188/task/23194/stat : 23194 (java) S 23186 23188 22292 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 43453949 889495552 199520 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23188/tid=23195] ppid=23186 vsize=868648 CPUtime=0.31
/proc/23188/task/23195/stat : 23195 (java) S 23186 23188 22292 0 -1 64 738 0 0 0 31 0 0 0 16 0 9 0 43453949 889495552 199520 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23188/tid=23196] ppid=23186 vsize=868648 CPUtime=0
/proc/23188/task/23196/stat : 23196 (java) S 23186 23188 22292 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 43453949 889495552 199520 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23188/tid=23197] ppid=23186 vsize=868648 CPUtime=0
/proc/23188/task/23197/stat : 23197 (java) S 23186 23188 22292 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 43453949 889495552 199520 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 275.7
Current children cumulated vsize (KiB) 868648
[startup+276.301 s]
/proc/loadavg: 2.04 2.01 2.00 3/90 23203
/proc/meminfo: memFree=1146248/2055920 swapFree=4181008/4192956
[pid=23188] ppid=23186 vsize=868736 CPUtime=276.1
/proc/23188/stat : 23188 (java) S 23186 23188 22292 0 -1 0 200564 0 1 0 27521 89 0 0 18 0 9 0 43453944 889585664 199542 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/23188/statm: 217184 199542 2640 9 0 211690 0
[pid=23188/tid=23190] ppid=23186 vsize=868736 CPUtime=271.67
/proc/23188/task/23190/stat : 23190 (java) R 23186 23188 22292 0 -1 64 16027 0 1 0 27146 21 0 0 25 0 9 0 43453945 889585664 199542 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23188/tid=23191] ppid=23186 vsize=868736 CPUtime=4.09
/proc/23188/task/23191/stat : 23191 (java) R 23186 23188 22292 0 -1 64 183087 0 0 0 343 66 0 0 16 0 9 0 43453946 889585664 199542 996147200 134512640 134550740 4294955952 18446744073709551615 104182211 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=23188/tid=23192] ppid=23186 vsize=868736 CPUtime=0
/proc/23188/task/23192/stat : 23192 (java) S 23186 23188 22292 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43453947 889585664 199542 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23188/tid=23193] ppid=23186 vsize=868736 CPUtime=0
/proc/23188/task/23193/stat : 23193 (java) S 23186 23188 22292 0 -1 64 21 0 0 0 0 0 0 0 15 0 9 0 43453947 889585664 199542 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23188/tid=23194] ppid=23186 vsize=868736 CPUtime=0
/proc/23188/task/23194/stat : 23194 (java) S 23186 23188 22292 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 43453949 889585664 199542 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23188/tid=23195] ppid=23186 vsize=868736 CPUtime=0.31
/proc/23188/task/23195/stat : 23195 (java) S 23186 23188 22292 0 -1 64 738 0 0 0 31 0 0 0 16 0 9 0 43453949 889585664 199542 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23188/tid=23196] ppid=23186 vsize=868736 CPUtime=0
/proc/23188/task/23196/stat : 23196 (java) S 23186 23188 22292 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 43453949 889585664 199542 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23188/tid=23197] ppid=23186 vsize=868736 CPUtime=0
/proc/23188/task/23197/stat : 23197 (java) S 23186 23188 22292 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 43453949 889585664 199542 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 276.1
Current children cumulated vsize (KiB) 868736
[startup+276.501 s]
/proc/loadavg: 2.04 2.01 2.00 3/90 23203
/proc/meminfo: memFree=1146248/2055920 swapFree=4181008/4192956
[pid=23188] ppid=23186 vsize=0 CPUtime=276.27
/proc/23188/stat : 23188 (java) Z 23186 23188 22292 0 -1 12 200572 0 1 0 27534 93 0 0 16 0 2 0 43453944 0 0 996147200 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/23188/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 276.27
Current children cumulated vsize (KiB) 0
Child status: 0
Real time (s): 276.578
CPU time (s): 276.361
CPU user time (s): 275.347
CPU system time (s): 1.01384
CPU usage (%): 99.9215
Max. virtual memory (cumulated for all children) (KiB): 869056
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 275.347
system time used= 1.01385
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 200572
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= 7514
involuntary context switches= 3846
runsolver used 0.45793 second user time and 0.816875 second system time
The end
Begin job on node24 at 2008-07-12 14:58:30
IDJOB=1112409
IDBENCH=61413
IDSOLVER=359
FILE ID=node24/1112409-1215867510
PBS_JOBID= 7903477
Free space on /tmp= 66460 MiB
SOLVER NAME= AbsconMax 112 pc-w
BENCH NAME= CPAI08/csp/super-os/super-os-taillard-15/normalized-super-os-taillard-15-27.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-1112409-1215867510/watcher-1112409-1215867510 -o /tmp/evaluation-result-1112409-1215867510/solver-1112409-1215867510 -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-1112409-1215867510.xml
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 29eeeb4fa472c212f46109214960e651
RANDOM SEED=93759069
node24.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.220
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.220
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: 1937904 kB
Buffers: 4864 kB
Cached: 37612 kB
SwapCached: 5532 kB
Active: 57748 kB
Inactive: 8220 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1937904 kB
SwapTotal: 4192956 kB
SwapFree: 4181008 kB
Dirty: 3172 kB
Writeback: 0 kB
Mapped: 39864 kB
Slab: 36916 kB
Committed_AS: 299928 kB
PageTables: 2048 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= 66460 MiB
End job on node24 at 2008-07-12 15:03:07