0.04/0.09
0.04/0.09 Abscon 112 (May, 2008)
0.18/0.25
0.18/0.25 configuration
0.18/0.25 name=mrdac-ddeg.xml
0.26/0.30
0.26/0.30 instance
0.26/0.30 name=HOME/instance-1112540-1215869951.xml
0.26/0.34
0.26/0.34 domains being loaded...
0.26/0.36
0.26/0.36 variables being loaded...
0.36/0.48 nbVariables=450 nbDomainTypes=85 minDomainSize=1102 maxDomainSize=1200 nbTotalValues=517738
0.36/0.48 => wckTime=0.225 cpuTime=0.16 mem=17M664
0.36/0.48
0.36/0.48 predicates being loaded...
0.45/0.54
0.45/0.54 constraints being loaded...
10.58/10.74
10.58/10.74 INFO : Stopping converting binary constraints (cpu=10.29, mem = 48M758)
11.17/11.33 nbConstraints=5580 nbConvertedConstraints=96 nbConvertConstraintsChecks=42899018 nbExtensionStructures=33
11.17/11.33 nbSharedExtensionStructures=63 nbConflictsStructures=33 nbSharedConflictsStructures=63
11.17/11.33 nbUnbuiltConflictsStructures=1469 nbSharedBinaryRepresentations=11008 nbEvaluationManagers=1469
11.17/11.33 nbSharedEvaluationManagers=4015 minDegree=16 maxDegree=33 minArity=2 maxArity=2
11.17/11.33 => wckTime=11.084 cpuTime=10.62 mem=56M723
11.37/11.51
11.37/11.51 solver LocalSearchSolver being built...
11.37/11.55 => wckTime=11.303 cpuTime=10.65 mem=34M325
11.68/11.81
11.68/11.81 s SATISFIABLE
11.68/11.81 o 717
11.68/11.89 o 711
11.88/12.09 o 705
12.07/12.21 o 699
12.27/12.41 o 694
12.47/12.62 o 689
12.57/12.78 o 685
12.77/12.93 o 681
12.97/13.13 o 675
13.16/13.37 o 670
13.46/13.61 o 665
13.66/13.82 o 660
13.86/14.06 o 655
14.16/14.33 o 651
14.35/14.57 o 647
14.55/14.76 o 643
14.85/15.00 o 640
15.05/15.29 o 638
15.44/15.60 o 633
15.74/15.90 o 628
15.94/16.19 o 623
16.24/16.50 o 618
16.54/16.77 o 613
16.83/17.04 o 608
17.13/17.33 o 603
17.43/17.64 o 599
17.73/17.94 o 595
18.03/18.25 o 591
18.33/18.52 o 587
18.53/18.78 o 583
18.82/19.04 o 579
19.12/19.32 o 576
19.32/19.59 o 573
19.62/19.82 o 570
19.81/20.04 o 567
20.11/20.34 o 564
20.31/20.55 o 562
20.51/20.75 o 560
20.80/21.05 o 558
21.00/21.25 o 556
21.20/21.45 o 554
21.40/21.68 o 552
21.61/21.84 o 551
22.30/22.55 o 550
22.50/22.71 o 548
22.90/23.18 o 545
23.20/23.42 o 542
23.50/23.76 o 538
23.80/24.04 o 534
24.19/24.44 o 531
24.59/24.82 o 528
24.99/25.24 o 525
25.28/25.58 o 522
25.68/25.90 o 519
25.98/26.29 o 516
26.37/26.61 o 513
26.67/26.96 o 510
27.07/27.31 o 507
27.36/27.70 o 505
27.76/28.04 o 503
28.16/28.40 o 501
28.46/28.74 o 499
28.76/29.06 o 497
29.05/29.35 o 495
29.35/29.63 o 493
29.65/29.92 o 492
29.85/30.18 o 491
30.15/30.43 o 490
30.45/30.71 o 489
30.64/30.98 o 488
30.94/31.23 o 487
31.24/31.54 o 485
32.03/32.33 o 483
32.23/32.55 o 482
32.73/33.04 o 481
33.02/33.30 o 479
33.22/33.58 o 475
33.52/33.90 o 473
34.31/34.64 o 472
34.61/34.91 o 471
35.01/35.34 o 470
35.41/35.80 o 467
35.91/36.23 o 464
36.30/36.60 o 461
36.70/37.00 o 458
37.10/37.41 o 455
37.29/37.67 o 454
37.69/38.04 o 451
38.09/38.44 o 448
38.48/38.88 o 445
38.88/39.27 o 442
39.38/39.71 o 440
39.77/40.14 o 438
40.17/40.58 o 436
40.97/41.31 o 434
41.27/41.67 o 432
41.66/42.03 o 430
41.96/42.36 o 428
42.26/42.70 o 426
42.65/43.02 o 424
42.95/43.33 o 422
43.55/43.99 o 421
43.94/44.32 o 419
44.24/44.63 o 418
44.54/44.95 o 417
44.84/45.24 o 416
45.14/45.54 o 415
45.54/45.91 o 414
45.93/46.38 o 413
46.33/46.71 o 412
48.61/49.06 o 411
49.21/49.62 o 406
49.51/49.93 o 403
49.71/50.18 o 400
50.01/50.48 o 398
50.30/50.75 o 397
50.60/51.00 o 395
51.60/52.07 o 393
51.90/52.32 o 391
52.20/52.63 o 389
52.39/52.89 o 388
52.69/53.19 o 387
52.99/53.46 o 386
53.49/53.91 o 384
53.68/54.15 o 381
53.98/54.40 o 380
54.28/54.70 o 377
54.48/54.92 o 376
55.47/55.92 o 375
55.76/56.26 o 373
56.06/56.55 o 370
56.76/57.25 o 368
57.35/57.88 o 366
57.85/58.32 o 364
58.24/58.77 o 362
58.64/59.14 o 360
59.04/59.56 o 357
59.44/59.98 o 355
59.93/60.43 o 353
60.33/60.86 o 351
60.73/61.26 o 349
61.22/61.73 o 348
61.62/62.18 o 347
62.12/62.64 o 346
62.61/63.10 o 345
63.01/63.56 o 344
63.40/63.99 o 343
63.90/64.43 o 342
64.30/64.85 o 341
65.00/65.59 o 340
66.59/67.13 o 338
68.57/69.11 o 337
68.87/69.43 o 334
69.16/69.76 o 332
72.54/73.17 o 331
74.03/74.63 o 329
75.72/76.32 o 328
76.12/76.71 o 326
77.41/78.05 o 323
81.69/82.32 o 322
82.28/82.98 o 321
83.37/84.05 o 319
83.67/84.35 o 317
84.07/84.71 o 316
86.35/87.07 o 314
86.65/87.38 o 313
86.95/87.67 o 311
92.31/93.04 o 310
93.10/93.84 o 307
93.80/94.59 o 305
96.18/96.98 o 304
96.68/97.46 o 303
97.18/97.93 o 301
97.57/98.33 o 300
103.53/104.32 o 298
110.67/111.51 o 297
111.07/111.95 o 296
111.57/112.44 o 295
112.06/112.92 o 294
112.46/113.37 o 293
112.86/113.79 o 292
113.35/114.21 o 291
114.66/115.53 o 290
119.12/120.06 o 289
123.49/124.40 o 288
124.98/125.99 o 287
126.57/127.60 o 285
127.17/128.14 o 284
128.06/129.00 o 282
129.75/130.70 o 280
130.74/131.79 o 279
131.34/132.36 o 278
131.83/132.90 o 277
133.03/134.10 o 276
133.62/134.68 o 275
136.50/137.53 o 274
139.27/140.36 o 273
139.77/140.89 o 272
140.87/141.96 o 269
141.46/142.56 o 267
142.65/143.79 o 266
143.34/144.41 o 264
143.84/144.99 o 261
144.54/145.61 o 260
149.01/150.11 o 259
150.50/151.61 o 258
151.09/152.21 o 257
152.79/153.96 o 256
153.38/154.53 o 255
154.57/155.74 o 254
155.17/156.34 o 253
155.77/156.98 o 251
156.47/157.64 o 250
157.07/158.28 o 248
157.67/158.87 o 247
158.37/159.52 o 246
158.96/160.15 o 245
160.25/161.41 o 244
160.94/162.12 o 243
162.83/164.09 o 242
164.31/165.52 o 240
165.01/166.23 o 238
165.71/166.93 o 237
166.31/167.57 o 236
167.71/168.94 o 234
168.42/169.62 o 233
169.11/170.31 o 231
170.47/171.74 o 229
173.35/174.70 o 228
174.64/175.94 o 227
181.18/182.57 o 226
184.56/185.92 o 225
196.45/197.96 o 224
197.14/198.61 o 223
198.43/199.95 o 222
199.13/200.64 o 221
201.71/203.23 o 220
203.00/204.52 o 219
203.60/205.19 o 218
204.29/205.82 o 217
205.58/207.13 o 216
216.01/217.66 o 215
219.00/220.66 o 214
238.36/240.13 o 213
239.06/240.86 o 212
242.93/244.72 o 211
245.71/247.54 o 210
246.40/248.23 o 209
247.60/249.48 o 207
248.29/250.18 o 206
252.46/254.35 o 205
254.64/256.54 o 204
255.34/257.25 o 203
256.04/258.00 o 202
257.53/259.49 o 201
258.12/260.04 o 200
269.84/271.89 o 199
300.14/302.36
300.14/302.36 search
300.14/302.36 run=0 nbConstraintChecks=830404448 nbAssignments=598
300.14/302.36 => wckTime=290.812 cpuTime=288.77 mem=34M325
300.14/302.36
300.14/302.36 global
300.14/302.36 nbConstraintChecks=830404448 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
300.14/302.36 solvingWckTime=290.793 solvingCpuTime=288.75 expiredTime=no totalExploration=no nbFoundSolutions=0
300.14/302.37 globalCpuTime=299.46
300.14/302.37 => wckTime=302.115 cpuTime=299.42 mem=34M325
300.14/302.37
300.14/302.37 solver DecomposerSolver being built...
306.29/308.54 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-1112540-1215869951/watcher-1112540-1215869951 -o /tmp/evaluation-result-1112540-1215869951/solver-1112540-1215869951 -C 3600 -W 4000 -M 900 --output-limit 1,15 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp absconMax112V3.jar abscon.Resolution mrdac-ddeg.xml 1 XSax HOME/instance-1112540-1215869951.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: 3.28 3.14 2.90 4/111 12639
/proc/meminfo: memFree=1508704/2055920 swapFree=4192812/4192956
[pid=12639] ppid=12637 vsize=18572 CPUtime=0
/proc/12639/stat : 12639 (runsolver) R 12637 12639 12566 0 -1 4194368 16 0 0 0 0 0 0 0 20 0 1 0 43692245 19017728 292 996147200 4194304 4296836 548682068336 18446744073709551615 249069890855 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/12639/statm: 4643 292 257 25 0 2626 0
[startup+0.0616419 s]
/proc/loadavg: 3.28 3.14 2.90 4/111 12639
/proc/meminfo: memFree=1508704/2055920 swapFree=4192812/4192956
[pid=12639] ppid=12637 vsize=864076 CPUtime=0.04
/proc/12639/stat : 12639 (java) S 12637 12639 12566 0 -1 0 2741 0 1 0 3 1 0 0 20 0 9 0 43692245 884813824 2293 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/12639/statm: 216019 2293 1090 9 0 210976 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 864076
[startup+0.101643 s]
/proc/loadavg: 3.28 3.14 2.90 4/111 12639
/proc/meminfo: memFree=1508704/2055920 swapFree=4192812/4192956
[pid=12639] ppid=12637 vsize=865988 CPUtime=0.07
/proc/12639/stat : 12639 (java) S 12637 12639 12566 0 -1 0 3704 0 1 0 6 1 0 0 20 0 9 0 43692245 886771712 3179 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/12639/statm: 216497 3179 1687 9 0 211052 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 865988
[startup+0.301682 s]
/proc/loadavg: 3.28 3.14 2.90 4/111 12639
/proc/meminfo: memFree=1508704/2055920 swapFree=4192812/4192956
[pid=12639] ppid=12637 vsize=866360 CPUtime=0.26
/proc/12639/stat : 12639 (java) S 12637 12639 12566 0 -1 0 5658 0 1 0 23 3 0 0 20 0 9 0 43692245 887152640 5073 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/12639/statm: 216590 5073 1908 9 0 211118 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 866360
[startup+0.701752 s]
/proc/loadavg: 3.28 3.14 2.90 4/111 12639
/proc/meminfo: memFree=1508704/2055920 swapFree=4192812/4192956
[pid=12639] ppid=12637 vsize=867616 CPUtime=0.66
/proc/12639/stat : 12639 (java) S 12637 12639 12566 0 -1 0 10596 0 1 0 60 6 0 0 20 0 9 0 43692245 888438784 9957 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/12639/statm: 216904 9957 2010 9 0 211410 0
Current children cumulated CPU time (s) 0.66
Current children cumulated vsize (KiB) 867616
[startup+1.50289 s]
/proc/loadavg: 3.28 3.14 2.90 4/120 12648
/proc/meminfo: memFree=1467288/2055920 swapFree=4192812/4192956
[pid=12639] ppid=12637 vsize=867720 CPUtime=1.45
/proc/12639/stat : 12639 (java) S 12637 12639 12566 0 -1 0 13329 0 1 0 137 8 0 0 20 0 9 0 43692245 888545280 12687 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/12639/statm: 216930 12687 2014 9 0 211436 0
[pid=12639/tid=12641] ppid=12637 vsize=867720 CPUtime=1.26
/proc/12639/task/12641/stat : 12641 (java) R 12637 12639 12566 0 -1 64 11986 0 1 0 119 7 0 0 25 0 9 0 43692247 888545280 12687 996147200 134512640 134550740 4294955952 18446744073709551615 4126880729 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12639/tid=12642] ppid=12637 vsize=867720 CPUtime=0
/proc/12639/task/12642/stat : 12642 (java) S 12637 12639 12566 0 -1 64 5 0 0 0 0 0 0 0 17 0 9 0 43692248 888545280 12687 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=12639/tid=12643] ppid=12637 vsize=867720 CPUtime=0
/proc/12639/task/12643/stat : 12643 (java) S 12637 12639 12566 0 -1 64 10 0 0 0 0 0 0 0 23 0 9 0 43692249 888545280 12687 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12639/tid=12644] ppid=12637 vsize=867720 CPUtime=0
/proc/12639/task/12644/stat : 12644 (java) S 12637 12639 12566 0 -1 64 4 0 0 0 0 0 0 0 24 0 9 0 43692249 888545280 12687 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12639/tid=12645] ppid=12637 vsize=867720 CPUtime=0
/proc/12639/task/12645/stat : 12645 (java) S 12637 12639 12566 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 43692251 888545280 12687 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12639/tid=12646] ppid=12637 vsize=867720 CPUtime=0.17
/proc/12639/task/12646/stat : 12646 (java) S 12637 12639 12566 0 -1 64 646 0 0 0 17 0 0 0 16 0 9 0 43692251 888545280 12687 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12639/tid=12647] ppid=12637 vsize=867720 CPUtime=0
/proc/12639/task/12647/stat : 12647 (java) S 12637 12639 12566 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 43692251 888545280 12687 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12639/tid=12648] ppid=12637 vsize=867720 CPUtime=0
/proc/12639/task/12648/stat : 12648 (java) S 12637 12639 12566 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 43692251 888545280 12687 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.45
Current children cumulated vsize (KiB) 867720
[startup+3.10118 s]
/proc/loadavg: 3.28 3.14 2.90 4/120 12648
/proc/meminfo: memFree=1464344/2055920 swapFree=4192812/4192956
[pid=12639] ppid=12637 vsize=867720 CPUtime=3.04
/proc/12639/stat : 12639 (java) S 12637 12639 12566 0 -1 0 13967 0 1 0 296 8 0 0 20 0 9 0 43692245 888545280 13324 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/12639/statm: 216930 13324 2014 9 0 211436 0
[pid=12639/tid=12641] ppid=12637 vsize=867720 CPUtime=2.85
/proc/12639/task/12641/stat : 12641 (java) R 12637 12639 12566 0 -1 64 12624 0 1 0 278 7 0 0 25 0 9 0 43692247 888545280 13324 996147200 134512640 134550740 4294955952 18446744073709551615 4126886680 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12639/tid=12642] ppid=12637 vsize=867720 CPUtime=0
/proc/12639/task/12642/stat : 12642 (java) S 12637 12639 12566 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 43692248 888545280 13324 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=12639/tid=12643] ppid=12637 vsize=867720 CPUtime=0
/proc/12639/task/12643/stat : 12643 (java) S 12637 12639 12566 0 -1 64 10 0 0 0 0 0 0 0 23 0 9 0 43692249 888545280 13324 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12639/tid=12644] ppid=12637 vsize=867720 CPUtime=0
/proc/12639/task/12644/stat : 12644 (java) S 12637 12639 12566 0 -1 64 4 0 0 0 0 0 0 0 24 0 9 0 43692249 888545280 13324 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12639/tid=12645] ppid=12637 vsize=867720 CPUtime=0
/proc/12639/task/12645/stat : 12645 (java) S 12637 12639 12566 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 43692251 888545280 13324 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12639/tid=12646] ppid=12637 vsize=867720 CPUtime=0.17
/proc/12639/task/12646/stat : 12646 (java) S 12637 12639 12566 0 -1 64 646 0 0 0 17 0 0 0 16 0 9 0 43692251 888545280 13324 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12639/tid=12647] ppid=12637 vsize=867720 CPUtime=0
/proc/12639/task/12647/stat : 12647 (java) S 12637 12639 12566 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 43692251 888545280 13324 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12639/tid=12648] ppid=12637 vsize=867720 CPUtime=0
/proc/12639/task/12648/stat : 12648 (java) S 12637 12639 12566 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 43692251 888545280 13324 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.30275 s]
/proc/loadavg: 3.25 3.14 2.90 4/120 12648
/proc/meminfo: memFree=1458584/2055920 swapFree=4192812/4192956
[pid=12639] ppid=12637 vsize=867720 CPUtime=6.22
/proc/12639/stat : 12639 (java) S 12637 12639 12566 0 -1 0 15319 0 1 0 613 9 0 0 20 0 9 0 43692245 888545280 14675 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/12639/statm: 216930 14675 2014 9 0 211436 0
[pid=12639/tid=12641] ppid=12637 vsize=867720 CPUtime=6.02
/proc/12639/task/12641/stat : 12641 (java) R 12637 12639 12566 0 -1 64 13974 0 1 0 594 8 0 0 25 0 9 0 43692247 888545280 14675 996147200 134512640 134550740 4294955952 18446744073709551615 4126880919 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12639/tid=12642] ppid=12637 vsize=867720 CPUtime=0
/proc/12639/task/12642/stat : 12642 (java) S 12637 12639 12566 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 43692248 888545280 14675 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=12639/tid=12643] ppid=12637 vsize=867720 CPUtime=0
/proc/12639/task/12643/stat : 12643 (java) S 12637 12639 12566 0 -1 64 10 0 0 0 0 0 0 0 23 0 9 0 43692249 888545280 14675 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12639/tid=12644] ppid=12637 vsize=867720 CPUtime=0
/proc/12639/task/12644/stat : 12644 (java) S 12637 12639 12566 0 -1 64 4 0 0 0 0 0 0 0 24 0 9 0 43692249 888545280 14675 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12639/tid=12645] ppid=12637 vsize=867720 CPUtime=0
/proc/12639/task/12645/stat : 12645 (java) S 12637 12639 12566 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 43692251 888545280 14675 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12639/tid=12646] ppid=12637 vsize=867720 CPUtime=0.18
/proc/12639/task/12646/stat : 12646 (java) S 12637 12639 12566 0 -1 64 648 0 0 0 18 0 0 0 15 0 9 0 43692251 888545280 14675 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12639/tid=12647] ppid=12637 vsize=867720 CPUtime=0
/proc/12639/task/12647/stat : 12647 (java) S 12637 12639 12566 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 43692251 888545280 14675 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12639/tid=12648] ppid=12637 vsize=867720 CPUtime=0
/proc/12639/task/12648/stat : 12648 (java) S 12637 12639 12566 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 43692251 888545280 14675 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 867720
[startup+12.7019 s]
/proc/loadavg: 3.15 3.12 2.90 4/120 12648
/proc/meminfo: memFree=1414424/2055920 swapFree=4192812/4192956
[pid=12639] ppid=12637 vsize=867720 CPUtime=12.57
/proc/12639/stat : 12639 (java) S 12637 12639 12566 0 -1 0 26839 0 1 0 1244 13 0 0 20 0 9 0 43692245 888545280 25976 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/12639/statm: 216930 25976 2640 9 0 211436 0
[pid=12639/tid=12641] ppid=12637 vsize=867720 CPUtime=11.97
/proc/12639/task/12641/stat : 12641 (java) R 12637 12639 12566 0 -1 64 15872 0 1 0 1188 9 0 0 25 0 9 0 43692247 888545280 25976 996147200 134512640 134550740 4294955952 18446744073709551615 4126886158 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12639/tid=12642] ppid=12637 vsize=867720 CPUtime=0.31
/proc/12639/task/12642/stat : 12642 (java) S 12637 12639 12566 0 -1 64 9558 0 0 0 28 3 0 0 17 0 9 0 43692248 888545280 25976 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=12639/tid=12643] ppid=12637 vsize=867720 CPUtime=0
/proc/12639/task/12643/stat : 12643 (java) S 12637 12639 12566 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43692249 888545280 25976 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12639/tid=12644] ppid=12637 vsize=867720 CPUtime=0
/proc/12639/task/12644/stat : 12644 (java) S 12637 12639 12566 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 43692249 888545280 25976 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12639/tid=12645] ppid=12637 vsize=867720 CPUtime=0
/proc/12639/task/12645/stat : 12645 (java) S 12637 12639 12566 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 43692251 888545280 25976 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12639/tid=12646] ppid=12637 vsize=867720 CPUtime=0.26
/proc/12639/task/12646/stat : 12646 (java) S 12637 12639 12566 0 -1 64 713 0 0 0 26 0 0 0 15 0 9 0 43692251 888545280 25976 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12639/tid=12647] ppid=12637 vsize=867720 CPUtime=0
/proc/12639/task/12647/stat : 12647 (java) S 12637 12639 12566 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 43692251 888545280 25976 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12639/tid=12648] ppid=12637 vsize=867720 CPUtime=0
/proc/12639/task/12648/stat : 12648 (java) S 12637 12639 12566 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 43692251 888545280 25976 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 867720
[startup+25.5022 s]
/proc/loadavg: 3.12 3.12 2.90 4/120 12648
/proc/meminfo: memFree=1414424/2055920 swapFree=4192812/4192956
[pid=12639] ppid=12637 vsize=867688 CPUtime=25.28
/proc/12639/stat : 12639 (java) S 12637 12639 12566 0 -1 0 26839 0 1 0 2514 14 0 0 20 0 9 0 43692245 888512512 25976 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/12639/statm: 216922 25976 2640 9 0 211428 0
[pid=12639/tid=12641] ppid=12637 vsize=867688 CPUtime=24.67
/proc/12639/task/12641/stat : 12641 (java) R 12637 12639 12566 0 -1 64 15872 0 1 0 2458 9 0 0 25 0 9 0 43692247 888512512 25976 996147200 134512640 134550740 4294955952 18446744073709551615 4126854892 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12639/tid=12642] ppid=12637 vsize=867688 CPUtime=0.31
/proc/12639/task/12642/stat : 12642 (java) S 12637 12639 12566 0 -1 64 9558 0 0 0 28 3 0 0 16 0 9 0 43692248 888512512 25976 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=12639/tid=12643] ppid=12637 vsize=867688 CPUtime=0
/proc/12639/task/12643/stat : 12643 (java) S 12637 12639 12566 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43692249 888512512 25976 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12639/tid=12644] ppid=12637 vsize=867688 CPUtime=0
/proc/12639/task/12644/stat : 12644 (java) S 12637 12639 12566 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 43692249 888512512 25976 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12639/tid=12645] ppid=12637 vsize=867688 CPUtime=0
/proc/12639/task/12645/stat : 12645 (java) S 12637 12639 12566 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 43692251 888512512 25976 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12639/tid=12646] ppid=12637 vsize=867688 CPUtime=0.26
/proc/12639/task/12646/stat : 12646 (java) S 12637 12639 12566 0 -1 64 713 0 0 0 26 0 0 0 16 0 9 0 43692251 888512512 25976 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12639/tid=12647] ppid=12637 vsize=867688 CPUtime=0
/proc/12639/task/12647/stat : 12647 (java) S 12637 12639 12566 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 43692251 888512512 25976 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12639/tid=12648] ppid=12637 vsize=867688 CPUtime=0
/proc/12639/task/12648/stat : 12648 (java) S 12637 12639 12566 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 43692251 888512512 25976 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.28
Current children cumulated vsize (KiB) 867688
[startup+51.1028 s]
/proc/loadavg: 3.08 3.11 2.90 4/120 12648
/proc/meminfo: memFree=1414424/2055920 swapFree=4192812/4192956
[pid=12639] ppid=12637 vsize=867688 CPUtime=50.7
/proc/12639/stat : 12639 (java) S 12637 12639 12566 0 -1 0 26840 0 1 0 5055 15 0 0 20 0 9 0 43692245 888512512 25977 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/12639/statm: 216922 25977 2640 9 0 211428 0
[pid=12639/tid=12641] ppid=12637 vsize=867688 CPUtime=50.09
/proc/12639/task/12641/stat : 12641 (java) R 12637 12639 12566 0 -1 64 15872 0 1 0 4999 10 0 0 25 0 9 0 43692247 888512512 25977 996147200 134512640 134550740 4294955952 18446744073709551615 4127136604 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12639/tid=12642] ppid=12637 vsize=867688 CPUtime=0.31
/proc/12639/task/12642/stat : 12642 (java) S 12637 12639 12566 0 -1 64 9558 0 0 0 28 3 0 0 16 0 9 0 43692248 888512512 25977 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=12639/tid=12643] ppid=12637 vsize=867688 CPUtime=0
/proc/12639/task/12643/stat : 12643 (java) S 12637 12639 12566 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43692249 888512512 25977 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12639/tid=12644] ppid=12637 vsize=867688 CPUtime=0
/proc/12639/task/12644/stat : 12644 (java) S 12637 12639 12566 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 43692249 888512512 25977 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12639/tid=12645] ppid=12637 vsize=867688 CPUtime=0
/proc/12639/task/12645/stat : 12645 (java) S 12637 12639 12566 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 43692251 888512512 25977 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12639/tid=12646] ppid=12637 vsize=867688 CPUtime=0.26
/proc/12639/task/12646/stat : 12646 (java) S 12637 12639 12566 0 -1 64 714 0 0 0 26 0 0 0 16 0 9 0 43692251 888512512 25977 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12639/tid=12647] ppid=12637 vsize=867688 CPUtime=0
################
# More data... #
################
/proc/12639/task/12644/stat : 12644 (java) S 12637 12639 12566 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 43692249 888512512 25978 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12639/tid=12645] ppid=12637 vsize=867688 CPUtime=0
/proc/12639/task/12645/stat : 12645 (java) S 12637 12639 12566 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 43692251 888512512 25978 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12639/tid=12646] ppid=12637 vsize=867688 CPUtime=0.27
/proc/12639/task/12646/stat : 12646 (java) S 12637 12639 12566 0 -1 64 715 0 0 0 27 0 0 0 16 0 9 0 43692251 888512512 25978 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12639/tid=12647] ppid=12637 vsize=867688 CPUtime=0
/proc/12639/task/12647/stat : 12647 (java) S 12637 12639 12566 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 43692251 888512512 25978 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12639/tid=12648] ppid=12637 vsize=867688 CPUtime=0
/proc/12639/task/12648/stat : 12648 (java) S 12637 12639 12566 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 43692251 888512512 25978 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 292.19
Current children cumulated vsize (KiB) 867688
[startup+300.703 s]
/proc/loadavg: 2.69 2.84 2.83 3/120 12858
/proc/meminfo: memFree=1664016/2055920 swapFree=4192812/4192956
[pid=12639] ppid=12637 vsize=867688 CPUtime=298.55
/proc/12639/stat : 12639 (java) S 12637 12639 12566 0 -1 0 26841 0 1 0 29834 21 0 0 20 0 9 0 43692245 888512512 25978 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/12639/statm: 216922 25978 2640 9 0 211428 0
[pid=12639/tid=12641] ppid=12637 vsize=867688 CPUtime=297.94
/proc/12639/task/12641/stat : 12641 (java) R 12637 12639 12566 0 -1 64 15872 0 1 0 29778 16 0 0 25 0 9 0 43692247 888512512 25978 996147200 134512640 134550740 4294955952 18446744073709551615 4127140748 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12639/tid=12642] ppid=12637 vsize=867688 CPUtime=0.31
/proc/12639/task/12642/stat : 12642 (java) S 12637 12639 12566 0 -1 64 9558 0 0 0 28 3 0 0 16 0 9 0 43692248 888512512 25978 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=12639/tid=12643] ppid=12637 vsize=867688 CPUtime=0
/proc/12639/task/12643/stat : 12643 (java) S 12637 12639 12566 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43692249 888512512 25978 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12639/tid=12644] ppid=12637 vsize=867688 CPUtime=0
/proc/12639/task/12644/stat : 12644 (java) S 12637 12639 12566 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 43692249 888512512 25978 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12639/tid=12645] ppid=12637 vsize=867688 CPUtime=0
/proc/12639/task/12645/stat : 12645 (java) S 12637 12639 12566 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 43692251 888512512 25978 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12639/tid=12646] ppid=12637 vsize=867688 CPUtime=0.27
/proc/12639/task/12646/stat : 12646 (java) S 12637 12639 12566 0 -1 64 715 0 0 0 27 0 0 0 16 0 9 0 43692251 888512512 25978 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12639/tid=12647] ppid=12637 vsize=867688 CPUtime=0
/proc/12639/task/12647/stat : 12647 (java) S 12637 12639 12566 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 43692251 888512512 25978 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12639/tid=12648] ppid=12637 vsize=867688 CPUtime=0
/proc/12639/task/12648/stat : 12648 (java) S 12637 12639 12566 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 43692251 888512512 25978 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 298.55
Current children cumulated vsize (KiB) 867688
[startup+303.902 s]
/proc/loadavg: 2.69 2.84 2.83 5/120 12858
/proc/meminfo: memFree=1288592/2055920 swapFree=4192812/4192956
[pid=12639] ppid=12637 vsize=867600 CPUtime=301.72
/proc/12639/stat : 12639 (java) S 12637 12639 12566 0 -1 0 160219 0 1 0 30104 68 0 0 20 0 9 0 43692245 888422400 159280 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/12639/statm: 216900 159280 2619 9 0 211428 0
[pid=12639/tid=12641] ppid=12637 vsize=867600 CPUtime=300.09
/proc/12639/task/12641/stat : 12641 (java) R 12637 12639 12566 0 -1 64 15957 0 1 0 29992 17 0 0 25 0 9 0 43692247 888422400 159280 996147200 134512640 134550740 4294955952 18446744073709551615 104454845 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12639/tid=12642] ppid=12637 vsize=867600 CPUtime=1.31
/proc/12639/task/12642/stat : 12642 (java) S 12637 12639 12566 0 -1 64 142826 0 0 0 82 49 0 0 16 0 9 0 43692248 888422400 159280 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=12639/tid=12643] ppid=12637 vsize=867600 CPUtime=0
/proc/12639/task/12643/stat : 12643 (java) S 12637 12639 12566 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43692249 888422400 159280 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12639/tid=12644] ppid=12637 vsize=867600 CPUtime=0
/proc/12639/task/12644/stat : 12644 (java) S 12637 12639 12566 0 -1 64 23 0 0 0 0 0 0 0 15 0 9 0 43692249 888422400 159280 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12639/tid=12645] ppid=12637 vsize=867600 CPUtime=0
/proc/12639/task/12645/stat : 12645 (java) S 12637 12639 12566 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 43692251 888422400 159280 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12639/tid=12646] ppid=12637 vsize=867600 CPUtime=0.28
/proc/12639/task/12646/stat : 12646 (java) S 12637 12639 12566 0 -1 64 722 0 0 0 28 0 0 0 15 0 9 0 43692251 888422400 159280 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12639/tid=12647] ppid=12637 vsize=867600 CPUtime=0
/proc/12639/task/12647/stat : 12647 (java) S 12637 12639 12566 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 43692251 888422400 159280 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12639/tid=12648] ppid=12637 vsize=867600 CPUtime=0
/proc/12639/task/12648/stat : 12648 (java) S 12637 12639 12566 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 43692251 888422400 159280 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 301.72
Current children cumulated vsize (KiB) 867600
[startup+307.102 s]
/proc/loadavg: 2.87 2.87 2.85 4/120 12858
/proc/meminfo: memFree=968656/2055920 swapFree=4192812/4192956
[pid=12639] ppid=12637 vsize=867904 CPUtime=304.9
/proc/12639/stat : 12639 (java) S 12637 12639 12566 0 -1 0 200454 0 1 0 30408 82 0 0 20 0 9 0 43692245 888733696 199507 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/12639/statm: 216976 199507 2618 9 0 211504 0
[pid=12639/tid=12641] ppid=12637 vsize=867904 CPUtime=300.22
/proc/12639/task/12641/stat : 12641 (java) S 12637 12639 12566 0 -1 64 15970 0 1 0 30005 17 0 0 24 0 9 0 43692247 888733696 199507 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12639/tid=12642] ppid=12637 vsize=867904 CPUtime=4.36
/proc/12639/task/12642/stat : 12642 (java) R 12637 12639 12566 0 -1 64 183048 0 0 0 373 63 0 0 19 0 9 0 43692248 888733696 199507 996147200 134512640 134550740 4294955952 18446744073709551615 104182546 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=12639/tid=12643] ppid=12637 vsize=867904 CPUtime=0
/proc/12639/task/12643/stat : 12643 (java) S 12637 12639 12566 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43692249 888733696 199507 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12639/tid=12644] ppid=12637 vsize=867904 CPUtime=0
/proc/12639/task/12644/stat : 12644 (java) S 12637 12639 12566 0 -1 64 23 0 0 0 0 0 0 0 16 0 9 0 43692249 888733696 199507 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12639/tid=12645] ppid=12637 vsize=867904 CPUtime=0
/proc/12639/task/12645/stat : 12645 (java) S 12637 12639 12566 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 43692251 888733696 199507 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12639/tid=12646] ppid=12637 vsize=867904 CPUtime=0.28
/proc/12639/task/12646/stat : 12646 (java) S 12637 12639 12566 0 -1 64 722 0 0 0 28 0 0 0 15 0 9 0 43692251 888733696 199507 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12639/tid=12647] ppid=12637 vsize=867904 CPUtime=0
/proc/12639/task/12647/stat : 12647 (java) S 12637 12639 12566 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 43692251 888733696 199507 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12639/tid=12648] ppid=12637 vsize=867904 CPUtime=0
/proc/12639/task/12648/stat : 12648 (java) S 12637 12639 12566 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 43692251 888733696 199507 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 304.9
Current children cumulated vsize (KiB) 867904
[startup+307.902 s]
/proc/loadavg: 2.87 2.87 2.85 3/120 12858
/proc/meminfo: memFree=968656/2055920 swapFree=4192812/4192956
[pid=12639] ppid=12637 vsize=867904 CPUtime=305.7
/proc/12639/stat : 12639 (java) S 12637 12639 12566 0 -1 0 200455 0 1 0 30488 82 0 0 20 0 9 0 43692245 888733696 199507 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/12639/statm: 216976 199507 2618 9 0 211504 0
[pid=12639/tid=12641] ppid=12637 vsize=867904 CPUtime=300.22
/proc/12639/task/12641/stat : 12641 (java) S 12637 12639 12566 0 -1 64 15971 0 1 0 30005 17 0 0 24 0 9 0 43692247 888733696 199507 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12639/tid=12642] ppid=12637 vsize=867904 CPUtime=5.16
/proc/12639/task/12642/stat : 12642 (java) R 12637 12639 12566 0 -1 64 183048 0 0 0 453 63 0 0 20 0 9 0 43692248 888733696 199507 996147200 134512640 134550740 4294955952 18446744073709551615 104182211 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=12639/tid=12643] ppid=12637 vsize=867904 CPUtime=0
/proc/12639/task/12643/stat : 12643 (java) S 12637 12639 12566 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43692249 888733696 199507 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12639/tid=12644] ppid=12637 vsize=867904 CPUtime=0
/proc/12639/task/12644/stat : 12644 (java) S 12637 12639 12566 0 -1 64 23 0 0 0 0 0 0 0 16 0 9 0 43692249 888733696 199507 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12639/tid=12645] ppid=12637 vsize=867904 CPUtime=0
/proc/12639/task/12645/stat : 12645 (java) S 12637 12639 12566 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 43692251 888733696 199507 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12639/tid=12646] ppid=12637 vsize=867904 CPUtime=0.28
/proc/12639/task/12646/stat : 12646 (java) S 12637 12639 12566 0 -1 64 722 0 0 0 28 0 0 0 15 0 9 0 43692251 888733696 199507 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12639/tid=12647] ppid=12637 vsize=867904 CPUtime=0
/proc/12639/task/12647/stat : 12647 (java) S 12637 12639 12566 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 43692251 888733696 199507 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12639/tid=12648] ppid=12637 vsize=867904 CPUtime=0
/proc/12639/task/12648/stat : 12648 (java) S 12637 12639 12566 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 43692251 888733696 199507 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 305.7
Current children cumulated vsize (KiB) 867904
[startup+308.302 s]
/proc/loadavg: 2.87 2.87 2.85 3/120 12858
/proc/meminfo: memFree=968656/2055920 swapFree=4192812/4192956
[pid=12639] ppid=12637 vsize=867904 CPUtime=306.09
/proc/12639/stat : 12639 (java) S 12637 12639 12566 0 -1 0 200455 0 1 0 30527 82 0 0 20 0 9 0 43692245 888733696 199507 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/12639/statm: 216976 199507 2618 9 0 211504 0
[pid=12639/tid=12641] ppid=12637 vsize=867904 CPUtime=300.22
/proc/12639/task/12641/stat : 12641 (java) S 12637 12639 12566 0 -1 64 15971 0 1 0 30005 17 0 0 24 0 9 0 43692247 888733696 199507 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12639/tid=12642] ppid=12637 vsize=867904 CPUtime=5.56
/proc/12639/task/12642/stat : 12642 (java) R 12637 12639 12566 0 -1 64 183048 0 0 0 493 63 0 0 21 0 9 0 43692248 888733696 199507 996147200 134512640 134550740 4294955952 18446744073709551615 104182211 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=12639/tid=12643] ppid=12637 vsize=867904 CPUtime=0
/proc/12639/task/12643/stat : 12643 (java) S 12637 12639 12566 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43692249 888733696 199507 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12639/tid=12644] ppid=12637 vsize=867904 CPUtime=0
/proc/12639/task/12644/stat : 12644 (java) S 12637 12639 12566 0 -1 64 23 0 0 0 0 0 0 0 16 0 9 0 43692249 888733696 199507 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12639/tid=12645] ppid=12637 vsize=867904 CPUtime=0
/proc/12639/task/12645/stat : 12645 (java) S 12637 12639 12566 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 43692251 888733696 199507 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12639/tid=12646] ppid=12637 vsize=867904 CPUtime=0.28
/proc/12639/task/12646/stat : 12646 (java) S 12637 12639 12566 0 -1 64 722 0 0 0 28 0 0 0 15 0 9 0 43692251 888733696 199507 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12639/tid=12647] ppid=12637 vsize=867904 CPUtime=0
/proc/12639/task/12647/stat : 12647 (java) S 12637 12639 12566 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 43692251 888733696 199507 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12639/tid=12648] ppid=12637 vsize=867904 CPUtime=0
/proc/12639/task/12648/stat : 12648 (java) S 12637 12639 12566 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 43692251 888733696 199507 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 306.09
Current children cumulated vsize (KiB) 867904
[startup+308.502 s]
/proc/loadavg: 2.87 2.87 2.85 3/120 12858
/proc/meminfo: memFree=968656/2055920 swapFree=4192812/4192956
[pid=12639] ppid=12637 vsize=867904 CPUtime=306.29
/proc/12639/stat : 12639 (java) S 12637 12639 12566 0 -1 0 200456 0 1 0 30547 82 0 0 20 0 9 0 43692245 888733696 199507 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/12639/statm: 216976 199507 2618 9 0 211504 0
[pid=12639/tid=12641] ppid=12637 vsize=867904 CPUtime=300.22
/proc/12639/task/12641/stat : 12641 (java) S 12637 12639 12566 0 -1 64 15972 0 1 0 30005 17 0 0 23 0 9 0 43692247 888733696 199507 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12639/tid=12642] ppid=12637 vsize=867904 CPUtime=5.76
/proc/12639/task/12642/stat : 12642 (java) R 12637 12639 12566 0 -1 64 183048 0 0 0 513 63 0 0 21 0 9 0 43692248 888733696 199507 996147200 134512640 134550740 4294955952 18446744073709551615 102496415 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=12639/tid=12643] ppid=12637 vsize=867904 CPUtime=0
/proc/12639/task/12643/stat : 12643 (java) S 12637 12639 12566 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43692249 888733696 199507 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12639/tid=12644] ppid=12637 vsize=867904 CPUtime=0
/proc/12639/task/12644/stat : 12644 (java) S 12637 12639 12566 0 -1 64 23 0 0 0 0 0 0 0 16 0 9 0 43692249 888733696 199507 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12639/tid=12645] ppid=12637 vsize=867904 CPUtime=0
/proc/12639/task/12645/stat : 12645 (java) S 12637 12639 12566 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 43692251 888733696 199507 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12639/tid=12646] ppid=12637 vsize=867904 CPUtime=0.28
/proc/12639/task/12646/stat : 12646 (java) S 12637 12639 12566 0 -1 64 722 0 0 0 28 0 0 0 15 0 9 0 43692251 888733696 199507 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12639/tid=12647] ppid=12637 vsize=867904 CPUtime=0
/proc/12639/task/12647/stat : 12647 (java) S 12637 12639 12566 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 43692251 888733696 199507 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12639/tid=12648] ppid=12637 vsize=867904 CPUtime=0
/proc/12639/task/12648/stat : 12648 (java) S 12637 12639 12566 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 43692251 888733696 199507 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 306.29
Current children cumulated vsize (KiB) 867904
[startup+308.603 s]
/proc/loadavg: 2.87 2.87 2.85 3/120 12858
/proc/meminfo: memFree=968656/2055920 swapFree=4192812/4192956
[pid=12639] ppid=12637 vsize=0 CPUtime=306.38
/proc/12639/stat : 12639 (java) Z 12637 12639 12566 0 -1 12 200463 0 1 0 30551 87 0 0 16 0 2 0 43692245 0 0 996147200 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/12639/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 306.38
Current children cumulated vsize (KiB) 0
Child status: 0
Real time (s): 308.668
CPU time (s): 306.456
CPU user time (s): 305.518
CPU system time (s): 0.938857
CPU usage (%): 99.2837
Max. virtual memory (cumulated for all children) (KiB): 867904
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 305.518
system time used= 0.938857
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 200463
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= 7902
involuntary context switches= 15910
runsolver used 0.557915 second user time and 1.43678 second system time
The end
Begin job on node89 at 2008-07-12 15:39:12
IDJOB=1112540
IDBENCH=61433
IDSOLVER=360
FILE ID=node89/1112540-1215869951
PBS_JOBID= 7903554
Free space on /tmp= 66516 MiB
SOLVER NAME= AbsconMax 112 pc-d
BENCH NAME= CPAI08/csp/super-js/super-js-taillard-15/normalized-super-js-taillard-15-22.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp absconMax112V3.jar abscon.Resolution mrdac-ddeg.xml 1 XSax BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1112540-1215869951/watcher-1112540-1215869951 -o /tmp/evaluation-result-1112540-1215869951/solver-1112540-1215869951 -C 3600 -W 4000 -M 900 --output-limit 1,15 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp absconMax112V3.jar abscon.Resolution mrdac-ddeg.xml 1 XSax HOME/instance-1112540-1215869951.xml
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= b143b6832d0d7021c7c579e11837017e
RANDOM SEED=1565288215
node89.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.266
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.266
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: 1509184 kB
Buffers: 26400 kB
Cached: 68936 kB
SwapCached: 0 kB
Active: 453828 kB
Inactive: 32948 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1509184 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2780 kB
Writeback: 0 kB
Mapped: 413080 kB
Slab: 40992 kB
Committed_AS: 1134556 kB
PageTables: 5176 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= 66516 MiB
End job on node89 at 2008-07-12 15:44:20