0.03/0.07
0.03/0.07 Abscon 112 (May, 2008)
0.19/0.22
0.19/0.22 configuration
0.19/0.22 name=mrdac-wdeg.xml
0.19/0.25
0.19/0.25 instance
0.19/0.25 name=HOME/instance-1112551-1215870058.xml
0.19/0.29
0.19/0.29 domains being loaded...
0.30/0.31
0.30/0.31 variables being loaded...
0.30/0.39 nbVariables=450 nbDomainTypes=93 minDomainSize=1109 maxDomainSize=1207 nbTotalValues=520888
0.30/0.39 => wckTime=0.171 cpuTime=0.16 mem=17M664
0.30/0.39
0.30/0.39 predicates being loaded...
0.45/0.44
0.45/0.44 constraints being loaded...
10.42/10.38
10.42/10.38 INFO : Stopping converting binary constraints (cpu=10.18, mem = 48M196)
11.03/10.99 nbConstraints=5580 nbConvertedConstraints=74 nbConvertConstraintsChecks=40062300 nbExtensionStructures=30
11.03/10.99 nbSharedExtensionStructures=44 nbConflictsStructures=30 nbSharedConflictsStructures=44
11.03/10.99 nbUnbuiltConflictsStructures=1601 nbSharedBinaryRepresentations=7616 nbEvaluationManagers=1601
11.03/10.99 nbSharedEvaluationManagers=3905 minDegree=16 maxDegree=33 minArity=2 maxArity=2
11.03/10.99 => wckTime=10.768 cpuTime=10.51 mem=56M43
11.21/11.17
11.21/11.17 solver LocalSearchSolver being built...
11.32/11.21 => wckTime=10.992 cpuTime=10.56 mem=34M168
11.42/11.32
11.42/11.32 s SATISFIABLE
11.42/11.32 o 743
11.52/11.46 o 735
11.72/11.65 o 727
11.82/11.75 o 720
11.92/11.85 o 714
12.02/11.97 o 706
12.23/12.16 o 698
12.42/12.34 o 691
12.52/12.42 o 684
12.62/12.59 o 678
12.82/12.75 o 675
12.92/12.91 o 670
13.23/13.12 o 665
13.33/13.30 o 661
13.57/13.48 o 658
13.72/13.68 o 656
14.02/13.92 o 650
14.24/14.20 o 644
14.52/14.44 o 641
14.72/14.67 o 636
14.92/14.85 o 631
15.12/15.07 o 626
15.32/15.24 o 622
15.52/15.46 o 618
15.81/15.70 o 614
16.01/15.95 o 611
16.21/16.12 o 606
16.31/16.29 o 601
16.52/16.41 o 596
16.71/16.63 o 591
16.91/16.84 o 586
17.11/17.09 o 582
17.51/17.42 o 578
17.72/17.67 o 574
18.01/17.95 o 571
18.21/18.19 o 568
18.51/18.45 o 565
18.72/18.69 o 562
19.01/18.93 o 560
19.21/19.14 o 558
19.41/19.35 o 556
19.61/19.51 o 554
19.82/19.80 o 553
20.11/20.04 o 552
20.31/20.23 o 551
20.61/20.54 o 549
21.41/21.33 o 547
21.81/21.73 o 543
22.21/22.11 o 539
22.51/22.43 o 535
22.81/22.76 o 531
23.11/23.10 o 527
23.51/23.46 o 524
23.91/23.83 o 521
24.21/24.17 o 518
24.51/24.50 o 515
24.91/24.81 o 512
25.22/25.15 o 509
25.52/25.48 o 507
25.91/25.80 o 505
26.21/26.11 o 503
26.52/26.43 o 501
26.81/26.72 o 499
27.11/27.00 o 495
27.41/27.30 o 494
27.62/27.57 o 492
28.01/27.90 o 490
28.21/28.16 o 489
28.51/28.45 o 488
28.81/28.71 o 487
29.11/29.01 o 486
30.01/29.98 o 483
30.31/30.29 o 481
31.11/31.09 o 480
31.41/31.38 o 479
31.71/31.65 o 477
32.01/31.95 o 473
32.31/32.26 o 469
32.61/32.53 o 465
32.91/32.84 o 464
33.11/33.08 o 461
33.81/33.78 o 458
34.21/34.12 o 456
34.51/34.45 o 455
34.91/34.85 o 452
35.31/35.23 o 449
35.71/35.64 o 446
36.01/35.96 o 445
36.41/36.32 o 442
36.71/36.65 o 439
37.11/37.05 o 436
37.41/37.39 o 433
37.80/37.77 o 430
38.10/38.06 o 427
38.51/38.43 o 424
38.80/38.78 o 422
39.40/39.39 o 420
39.90/39.85 o 418
40.20/40.17 o 416
40.59/40.56 o 414
40.89/40.87 o 412
41.19/41.18 o 410
41.49/41.47 o 408
41.79/41.77 o 406
42.09/42.05 o 405
42.39/42.36 o 404
42.69/42.67 o 403
43.09/43.00 o 402
43.29/43.28 o 401
43.59/43.57 o 400
43.99/43.94 o 399
46.08/46.06 o 398
46.47/46.40 o 396
46.97/46.94 o 395
47.07/47.03 o 392
47.38/47.32 o 391
48.17/48.19 o 390
48.77/48.77 o 388
50.17/50.14 o 387
50.87/50.84 o 386
51.47/51.45 o 383
52.37/52.33 o 380
52.67/52.65 o 377
52.97/52.95 o 376
53.27/53.29 o 373
53.68/53.63 o 369
54.08/54.01 o 368
54.38/54.36 o 366
55.38/55.31 o 364
55.88/55.84 o 362
57.47/57.41 o 361
57.87/57.88 o 359
58.28/58.30 o 357
58.87/58.81 o 355
60.17/60.13 o 354
60.58/60.59 o 352
61.07/61.05 o 350
61.47/61.49 o 348
61.97/61.96 o 346
62.37/62.38 o 344
62.87/62.90 o 343
64.37/64.30 o 342
64.77/64.79 o 341
65.77/65.70 o 340
66.16/66.14 o 339
67.46/67.48 o 337
67.89/67.93 o 336
70.77/70.80 o 333
75.56/75.59 o 332
77.56/77.57 o 331
80.36/80.38 o 330
80.76/80.73 o 329
81.06/81.10 o 328
81.36/81.38 o 327
84.46/84.49 o 325
84.86/84.90 o 323
85.36/85.34 o 321
85.86/85.82 o 320
86.75/86.70 o 319
87.16/87.15 o 318
87.55/87.59 o 317
88.45/88.43 o 315
88.85/88.82 o 313
89.25/89.28 o 311
89.65/89.69 o 310
94.34/94.32 o 309
101.65/101.62 o 308
104.44/104.43 o 306
104.94/104.91 o 304
105.44/105.43 o 302
106.84/106.83 o 301
107.33/107.32 o 298
107.83/107.84 o 296
109.81/109.86 o 295
111.51/111.60 o 293
112.10/112.11 o 292
112.79/112.83 o 291
113.39/113.47 o 290
113.88/113.94 o 289
114.48/114.54 o 288
115.08/115.17 o 287
116.87/116.98 o 286
117.46/117.58 o 285
118.06/118.19 o 284
118.75/118.80 o 283
119.24/119.39 o 282
119.94/120.02 o 281
447.47/3878.40 o 280
447.47/3878.40 o 278
447.47/3878.40 o 277
447.47/3878.40 o 276
447.47/3878.40 o 274
447.47/3878.40 o 271
447.47/3878.40 o 270
447.47/3878.40 o 269
447.47/3878.40 o 268
447.47/3878.40 o 267
447.47/3878.40 o 266
447.47/3878.40 o 265
447.47/3878.40 o 263
447.47/3878.40 o 262
447.47/3878.40 o 259
447.47/3878.40 o 258
447.47/3878.40 o 257
447.47/3878.40 o 256
447.47/3878.40 o 255
447.47/3878.40 o 254
447.47/3878.40 o 252
447.47/3878.40 o 251
447.47/3878.40 o 250
447.47/3878.40 o 248
447.47/3878.40 o 247
447.47/3878.40 o 244
447.47/3878.40 o 243
447.47/3878.40 o 242
447.47/3878.40 o 241
447.47/3878.40 o 240
447.47/3878.40 o 238
447.47/3878.40 o 237
447.47/3878.40 o 236
447.47/3878.40 o 235
447.47/3878.40 o 234
447.47/3878.40 o 233
447.47/3878.40 o 232
447.47/3878.40 o 231
447.47/3878.40 o 229
447.47/3878.40 o 228
447.47/3878.40 o 227
447.47/3878.40 o 225
447.47/3878.40 o 224
447.47/3878.40 o 223
447.47/3878.40 o 222
447.47/3878.40 o 221
447.47/3878.40 o 220
447.47/3878.40 o 219
447.47/3878.40 o 218
447.47/3878.40 o 216
447.47/3878.40 o 214
447.47/3878.40 o 212
447.47/3878.40 o 211
447.47/3878.40 o 210
447.47/3878.40 o 208
447.47/3878.40 o 207
447.47/3878.40 o 206
447.47/3878.40 o 205
447.47/3878.40 o 204
447.47/3878.40 o 202
447.47/3878.40 o 199
447.47/3878.40 o 197
447.47/3878.40 o 195
447.47/3878.40 o 194
447.47/3878.40 o 192
447.47/3878.40 o 191
447.47/3878.40 o 190
447.47/3878.40 o 189
447.47/3878.40 o 188
447.47/3878.40 o 187
447.47/3878.40 o 186
447.47/3878.40 o 185
447.47/3878.40 o 184
447.47/3878.40 o 180
447.47/3878.40 o 179
447.47/3878.40 o 178
447.47/3878.40 o 176
447.47/3878.40 o 174
447.47/3878.40 o 173
447.47/3878.40 o 172
447.47/3878.40 o 171
447.47/3878.40 o 170
447.47/3878.40 o 169
447.47/3878.40 o 168
447.47/3878.40 o 167
447.47/3878.40 o 166
447.47/3878.40 o 165
447.47/3878.40 o 164
447.47/3878.40 o 163
447.47/3878.40 o 162
447.47/3878.40 o 161
447.47/3878.40 o 160
447.47/3878.40 o 157
447.47/3878.40 o 156
447.47/3878.40 o 155
447.47/3878.40 o 154
447.47/3878.40 o 153
447.47/3878.40 o 152
447.47/3878.40 o 151
447.47/3878.40 o 149
447.47/3878.40
447.47/3878.40 search
447.47/3878.40 run=0 nbConstraintChecks=1184582354 nbAssignments=751
447.47/3878.40 => wckTime=433.62 cpuTime=430.62 mem=34M168
447.47/3878.40
447.47/3878.40 global
447.47/3878.40 nbConstraintChecks=1184582354 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
447.47/3878.40 solvingWckTime=433.601 solvingCpuTime=430.6 expiredTime=no totalExploration=no nbFoundSolutions=0
447.47/3878.40 globalCpuTime=441.22
447.47/3878.40 => wckTime=444.612 cpuTime=441.18 mem=34M168
447.47/3878.40
447.47/3878.40 solver DecomposerSolver being built...
447.47/3878.40 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-1112551-1215870058/watcher-1112551-1215870058 -o /tmp/evaluation-result-1112551-1215870058/solver-1112551-1215870058 -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-1112551-1215870058.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: 5.92 3.30 2.53 3/112 14745
/proc/meminfo: memFree=1368764/2055920 swapFree=4152032/4192956
[pid=14745] ppid=14743 vsize=308 CPUtime=0
/proc/14745/stat : 14745 (java) R 14743 14745 13441 0 -1 0 219 0 0 0 0 0 0 0 20 0 1 0 43705310 315392 39 996147200 134512640 134550740 4294955952 18446744073709551615 10261284 0 0 4096 0 0 0 0 17 0 0 0
/proc/14745/statm: 77 39 29 9 0 6 0
[startup+0.049206 s]
/proc/loadavg: 5.92 3.30 2.53 3/112 14745
/proc/meminfo: memFree=1368764/2055920 swapFree=4152032/4192956
[pid=14745] ppid=14743 vsize=863776 CPUtime=0.03
/proc/14745/stat : 14745 (java) S 14743 14745 13441 0 -1 0 2501 0 1 0 2 1 0 0 20 0 9 0 43705310 884506624 2066 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/14745/statm: 215944 2068 963 9 0 210901 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 863776
[startup+0.102217 s]
/proc/loadavg: 5.92 3.30 2.53 3/112 14745
/proc/meminfo: memFree=1368764/2055920 swapFree=4152032/4192956
[pid=14745] ppid=14743 vsize=866768 CPUtime=0.1
/proc/14745/stat : 14745 (java) S 14743 14745 13441 0 -1 0 3974 0 1 0 9 1 0 0 20 0 9 0 43705310 887570432 3415 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/14745/statm: 216692 3416 1778 9 0 211247 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 866768
[startup+0.302253 s]
/proc/loadavg: 5.92 3.30 2.53 3/112 14745
/proc/meminfo: memFree=1368764/2055920 swapFree=4152032/4192956
[pid=14745] ppid=14743 vsize=867152 CPUtime=0.3
/proc/14745/stat : 14745 (java) S 14743 14745 13441 0 -1 0 6177 0 1 0 27 3 0 0 20 0 9 0 43705310 887963648 5548 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/14745/statm: 216788 5548 1963 9 0 211316 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 867152
[startup+0.701332 s]
/proc/loadavg: 5.92 3.30 2.53 3/112 14745
/proc/meminfo: memFree=1368764/2055920 swapFree=4152032/4192956
[pid=14745] ppid=14743 vsize=868472 CPUtime=0.81
/proc/14745/stat : 14745 (java) S 14743 14745 13441 0 -1 0 12692 0 1 0 74 7 0 0 20 0 9 0 43705310 889315328 12053 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/14745/statm: 217118 12053 2011 9 0 211624 0
Current children cumulated CPU time (s) 0.81
Current children cumulated vsize (KiB) 868472
[startup+1.50147 s]
/proc/loadavg: 6.01 3.36 2.55 2/121 14754
/proc/meminfo: memFree=1325748/2055920 swapFree=4152032/4192956
[pid=14745] ppid=14743 vsize=868472 CPUtime=1.62
/proc/14745/stat : 14745 (java) S 14743 14745 13441 0 -1 0 13377 0 1 0 154 8 0 0 20 0 9 0 43705310 889315328 12735 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/14745/statm: 217118 12735 2014 9 0 211624 0
[pid=14745/tid=14747] ppid=14743 vsize=868472 CPUtime=1.44
/proc/14745/task/14747/stat : 14747 (java) R 14743 14745 13441 0 -1 64 12017 0 1 0 138 6 0 0 25 0 9 0 43705311 889315328 12735 996147200 134512640 134550740 4294955952 18446744073709551615 4126883699 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14745/tid=14748] ppid=14743 vsize=868472 CPUtime=0
/proc/14745/task/14748/stat : 14748 (java) S 14743 14745 13441 0 -1 64 4 0 0 0 0 0 0 0 17 0 9 0 43705313 889315328 12735 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=14745/tid=14749] ppid=14743 vsize=868472 CPUtime=0
/proc/14745/task/14749/stat : 14749 (java) S 14743 14745 13441 0 -1 64 9 0 0 0 0 0 0 0 23 0 9 0 43705313 889315328 12735 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14745/tid=14750] ppid=14743 vsize=868472 CPUtime=0
/proc/14745/task/14750/stat : 14750 (java) S 14743 14745 13441 0 -1 64 4 0 0 0 0 0 0 0 24 0 9 0 43705313 889315328 12735 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14745/tid=14751] ppid=14743 vsize=868472 CPUtime=0
/proc/14745/task/14751/stat : 14751 (java) S 14743 14745 13441 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 43705315 889315328 12735 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14745/tid=14752] ppid=14743 vsize=868472 CPUtime=0.15
/proc/14745/task/14752/stat : 14752 (java) S 14743 14745 13441 0 -1 64 663 0 0 0 15 0 0 0 16 0 9 0 43705315 889315328 12735 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14745/tid=14753] ppid=14743 vsize=868472 CPUtime=0
/proc/14745/task/14753/stat : 14753 (java) S 14743 14745 13441 0 -1 64 2 0 0 0 0 0 0 0 25 0 9 0 43705315 889315328 12735 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14745/tid=14754] ppid=14743 vsize=868472 CPUtime=0
/proc/14745/task/14754/stat : 14754 (java) S 14743 14745 13441 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 43705315 889315328 12735 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.62
Current children cumulated vsize (KiB) 868472
[startup+3.10177 s]
/proc/loadavg: 6.01 3.36 2.55 2/121 14754
/proc/meminfo: memFree=1323892/2055920 swapFree=4152032/4192956
[pid=14745] ppid=14743 vsize=868472 CPUtime=3.22
/proc/14745/stat : 14745 (java) S 14743 14745 13441 0 -1 0 14036 0 1 0 314 8 0 0 20 0 9 0 43705310 889315328 13393 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/14745/statm: 217118 13393 2014 9 0 211624 0
[pid=14745/tid=14747] ppid=14743 vsize=868472 CPUtime=3.05
/proc/14745/task/14747/stat : 14747 (java) R 14743 14745 13441 0 -1 64 12676 0 1 0 298 7 0 0 25 0 9 0 43705311 889315328 13393 996147200 134512640 134550740 4294955952 18446744073709551615 4126883863 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14745/tid=14748] ppid=14743 vsize=868472 CPUtime=0
/proc/14745/task/14748/stat : 14748 (java) S 14743 14745 13441 0 -1 64 4 0 0 0 0 0 0 0 16 0 9 0 43705313 889315328 13393 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=14745/tid=14749] ppid=14743 vsize=868472 CPUtime=0
/proc/14745/task/14749/stat : 14749 (java) S 14743 14745 13441 0 -1 64 9 0 0 0 0 0 0 0 23 0 9 0 43705313 889315328 13393 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14745/tid=14750] ppid=14743 vsize=868472 CPUtime=0
/proc/14745/task/14750/stat : 14750 (java) S 14743 14745 13441 0 -1 64 4 0 0 0 0 0 0 0 24 0 9 0 43705313 889315328 13393 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14745/tid=14751] ppid=14743 vsize=868472 CPUtime=0
/proc/14745/task/14751/stat : 14751 (java) S 14743 14745 13441 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 43705315 889315328 13393 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14745/tid=14752] ppid=14743 vsize=868472 CPUtime=0.15
/proc/14745/task/14752/stat : 14752 (java) S 14743 14745 13441 0 -1 64 663 0 0 0 15 0 0 0 17 0 9 0 43705315 889315328 13393 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14745/tid=14753] ppid=14743 vsize=868472 CPUtime=0
/proc/14745/task/14753/stat : 14753 (java) S 14743 14745 13441 0 -1 64 2 0 0 0 0 0 0 0 25 0 9 0 43705315 889315328 13393 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14745/tid=14754] ppid=14743 vsize=868472 CPUtime=0
/proc/14745/task/14754/stat : 14754 (java) S 14743 14745 13441 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 43705315 889315328 13393 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.22
Current children cumulated vsize (KiB) 868472
[startup+6.30136 s]
/proc/loadavg: 6.01 3.36 2.55 2/121 14754
/proc/meminfo: memFree=1318388/2055920 swapFree=4152032/4192956
[pid=14745] ppid=14743 vsize=868472 CPUtime=6.42
/proc/14745/stat : 14745 (java) S 14743 14745 13441 0 -1 0 15329 0 1 0 633 9 0 0 20 0 9 0 43705310 889315328 14685 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/14745/statm: 217118 14685 2014 9 0 211624 0
[pid=14745/tid=14747] ppid=14743 vsize=868472 CPUtime=6.23
/proc/14745/task/14747/stat : 14747 (java) R 14743 14745 13441 0 -1 64 13967 0 1 0 616 7 0 0 25 0 9 0 43705311 889315328 14685 996147200 134512640 134550740 4294955952 18446744073709551615 4126859111 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14745/tid=14748] ppid=14743 vsize=868472 CPUtime=0
/proc/14745/task/14748/stat : 14748 (java) S 14743 14745 13441 0 -1 64 4 0 0 0 0 0 0 0 16 0 9 0 43705313 889315328 14685 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=14745/tid=14749] ppid=14743 vsize=868472 CPUtime=0
/proc/14745/task/14749/stat : 14749 (java) S 14743 14745 13441 0 -1 64 9 0 0 0 0 0 0 0 23 0 9 0 43705313 889315328 14685 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14745/tid=14750] ppid=14743 vsize=868472 CPUtime=0
/proc/14745/task/14750/stat : 14750 (java) S 14743 14745 13441 0 -1 64 4 0 0 0 0 0 0 0 24 0 9 0 43705313 889315328 14685 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14745/tid=14751] ppid=14743 vsize=868472 CPUtime=0
/proc/14745/task/14751/stat : 14751 (java) S 14743 14745 13441 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 43705315 889315328 14685 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14745/tid=14752] ppid=14743 vsize=868472 CPUtime=0.16
/proc/14745/task/14752/stat : 14752 (java) S 14743 14745 13441 0 -1 64 665 0 0 0 16 0 0 0 16 0 9 0 43705315 889315328 14685 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14745/tid=14753] ppid=14743 vsize=868472 CPUtime=0
/proc/14745/task/14753/stat : 14753 (java) S 14743 14745 13441 0 -1 64 2 0 0 0 0 0 0 0 25 0 9 0 43705315 889315328 14685 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14745/tid=14754] ppid=14743 vsize=868472 CPUtime=0
/proc/14745/task/14754/stat : 14754 (java) S 14743 14745 13441 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 43705315 889315328 14685 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.42
Current children cumulated vsize (KiB) 868472
[startup+12.7017 s]
/proc/loadavg: 6.16 3.48 2.60 3/121 14754
/proc/meminfo: memFree=1229108/2055920 swapFree=4152032/4192956
[pid=14745] ppid=14743 vsize=868472 CPUtime=12.82
/proc/14745/stat : 14745 (java) S 14743 14745 13441 0 -1 0 26792 0 1 0 1268 14 0 0 20 0 9 0 43705310 889315328 25930 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/14745/statm: 217118 25930 2640 9 0 211624 0
[pid=14745/tid=14747] ppid=14743 vsize=868472 CPUtime=12.21
/proc/14745/task/14747/stat : 14747 (java) R 14743 14745 13441 0 -1 64 15869 0 1 0 1212 9 0 0 25 0 9 0 43705311 889315328 25930 996147200 134512640 134550740 4294955952 18446744073709551615 4127153001 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14745/tid=14748] ppid=14743 vsize=868472 CPUtime=0.32
/proc/14745/task/14748/stat : 14748 (java) S 14743 14745 13441 0 -1 64 9492 0 0 0 29 3 0 0 17 0 9 0 43705313 889315328 25930 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=14745/tid=14749] ppid=14743 vsize=868472 CPUtime=0
/proc/14745/task/14749/stat : 14749 (java) S 14743 14745 13441 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 43705313 889315328 25930 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14745/tid=14750] ppid=14743 vsize=868472 CPUtime=0
/proc/14745/task/14750/stat : 14750 (java) S 14743 14745 13441 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 43705313 889315328 25930 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14745/tid=14751] ppid=14743 vsize=868472 CPUtime=0
/proc/14745/task/14751/stat : 14751 (java) S 14743 14745 13441 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 43705315 889315328 25930 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14745/tid=14752] ppid=14743 vsize=868472 CPUtime=0.26
/proc/14745/task/14752/stat : 14752 (java) S 14743 14745 13441 0 -1 64 734 0 0 0 25 1 0 0 15 0 9 0 43705315 889315328 25930 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14745/tid=14753] ppid=14743 vsize=868472 CPUtime=0
/proc/14745/task/14753/stat : 14753 (java) S 14743 14745 13441 0 -1 64 2 0 0 0 0 0 0 0 25 0 9 0 43705315 889315328 25930 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14745/tid=14754] ppid=14743 vsize=868472 CPUtime=0
/proc/14745/task/14754/stat : 14754 (java) S 14743 14745 13441 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 43705315 889315328 25930 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.82
Current children cumulated vsize (KiB) 868472
[startup+25.5029 s]
/proc/loadavg: 6.29 3.60 2.65 2/121 14754
/proc/meminfo: memFree=1139508/2055920 swapFree=4152032/4192956
[pid=14745] ppid=14743 vsize=868472 CPUtime=25.62
/proc/14745/stat : 14745 (java) S 14743 14745 13441 0 -1 0 26793 0 1 0 2547 15 0 0 20 0 9 0 43705310 889315328 25931 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/14745/statm: 217118 25931 2640 9 0 211624 0
[pid=14745/tid=14747] ppid=14743 vsize=868472 CPUtime=25.01
/proc/14745/task/14747/stat : 14747 (java) R 14743 14745 13441 0 -1 64 15869 0 1 0 2491 10 0 0 25 0 9 0 43705311 889315328 25931 996147200 134512640 134550740 4294955952 18446744073709551615 4127157892 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14745/tid=14748] ppid=14743 vsize=868472 CPUtime=0.32
/proc/14745/task/14748/stat : 14748 (java) S 14743 14745 13441 0 -1 64 9492 0 0 0 29 3 0 0 16 0 9 0 43705313 889315328 25931 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=14745/tid=14749] ppid=14743 vsize=868472 CPUtime=0
/proc/14745/task/14749/stat : 14749 (java) S 14743 14745 13441 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 43705313 889315328 25931 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14745/tid=14750] ppid=14743 vsize=868472 CPUtime=0
/proc/14745/task/14750/stat : 14750 (java) S 14743 14745 13441 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 43705313 889315328 25931 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14745/tid=14751] ppid=14743 vsize=868472 CPUtime=0
/proc/14745/task/14751/stat : 14751 (java) S 14743 14745 13441 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 43705315 889315328 25931 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14745/tid=14752] ppid=14743 vsize=868472 CPUtime=0.26
/proc/14745/task/14752/stat : 14752 (java) S 14743 14745 13441 0 -1 64 735 0 0 0 25 1 0 0 16 0 9 0 43705315 889315328 25931 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14745/tid=14753] ppid=14743 vsize=868472 CPUtime=0
/proc/14745/task/14753/stat : 14753 (java) S 14743 14745 13441 0 -1 64 2 0 0 0 0 0 0 0 25 0 9 0 43705315 889315328 25931 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14745/tid=14754] ppid=14743 vsize=868472 CPUtime=0
/proc/14745/task/14754/stat : 14754 (java) S 14743 14745 13441 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 43705315 889315328 25931 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.62
Current children cumulated vsize (KiB) 868472
[startup+51.1026 s]
/proc/loadavg: 6.53 3.87 2.76 2/122 14755
/proc/meminfo: memFree=1139244/2055920 swapFree=4152032/4192956
[pid=14745] ppid=14743 vsize=868472 CPUtime=51.17
/proc/14745/stat : 14745 (java) S 14743 14745 13441 0 -1 0 26793 0 1 0 5102 15 0 0 20 0 9 0 43705310 889315328 25931 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/14745/statm: 217118 25931 2640 9 0 211624 0
[pid=14745/tid=14747] ppid=14743 vsize=868472 CPUtime=50.57
/proc/14745/task/14747/stat : 14747 (java) R 14743 14745 13441 0 -1 64 15869 0 1 0 5046 11 0 0 25 0 9 0 43705311 889315328 25931 996147200 134512640 134550740 4294955952 18446744073709551615 4127163299 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14745/tid=14748] ppid=14743 vsize=868472 CPUtime=0.32
/proc/14745/task/14748/stat : 14748 (java) S 14743 14745 13441 0 -1 64 9492 0 0 0 29 3 0 0 16 0 9 0 43705313 889315328 25931 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=14745/tid=14749] ppid=14743 vsize=868472 CPUtime=0
/proc/14745/task/14749/stat : 14749 (java) S 14743 14745 13441 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 43705313 889315328 25931 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14745/tid=14750] ppid=14743 vsize=868472 CPUtime=0
/proc/14745/task/14750/stat : 14750 (java) S 14743 14745 13441 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 43705313 889315328 25931 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14745/tid=14751] ppid=14743 vsize=868472 CPUtime=0
/proc/14745/task/14751/stat : 14751 (java) S 14743 14745 13441 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 43705315 889315328 25931 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14745/tid=14752] ppid=14743 vsize=868472 CPUtime=0.26
/proc/14745/task/14752/stat : 14752 (java) S 14743 14745 13441 0 -1 64 735 0 0 0 25 1 0 0 16 0 9 0 43705315 889315328 25931 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14745/tid=14753] ppid=14743 vsize=868472 CPUtime=0
################
# More data... #
################
/proc/14745/task/14750/stat : 14750 (java) S 14743 14745 13441 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 43705313 889315328 25932 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14745/tid=14751] ppid=14743 vsize=868472 CPUtime=0
/proc/14745/task/14751/stat : 14751 (java) S 14743 14745 13441 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 43705315 889315328 25932 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14745/tid=14752] ppid=14743 vsize=868472 CPUtime=0.26
/proc/14745/task/14752/stat : 14752 (java) S 14743 14745 13441 0 -1 64 736 0 0 0 25 1 0 0 16 0 9 0 43705315 889315328 25932 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14745/tid=14753] ppid=14743 vsize=868472 CPUtime=0
/proc/14745/task/14753/stat : 14753 (java) S 14743 14745 13441 0 -1 64 2 0 0 0 0 0 0 0 25 0 9 0 43705315 889315328 25932 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14745/tid=14754] ppid=14743 vsize=868472 CPUtime=0
/proc/14745/task/14754/stat : 14754 (java) S 14743 14745 13441 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 43705315 889315328 25932 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 407.54
Current children cumulated vsize (KiB) 868472
[startup+435.802 s]
/proc/loadavg: 7.27 6.36 4.30 2/125 14758
/proc/meminfo: memFree=746580/2055920 swapFree=4152032/4192956
[pid=14745] ppid=14743 vsize=868472 CPUtime=433.01
/proc/14745/stat : 14745 (java) S 14743 14745 13441 0 -1 0 26794 0 1 0 43280 21 0 0 20 0 9 0 43705310 889315328 25932 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/14745/statm: 217118 25932 2640 9 0 211624 0
[pid=14745/tid=14747] ppid=14743 vsize=868472 CPUtime=432.4
/proc/14745/task/14747/stat : 14747 (java) R 14743 14745 13441 0 -1 64 15869 0 1 0 43224 16 0 0 25 0 9 0 43705311 889315328 25932 996147200 134512640 134550740 4294955952 18446744073709551615 4126861594 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14745/tid=14748] ppid=14743 vsize=868472 CPUtime=0.32
/proc/14745/task/14748/stat : 14748 (java) S 14743 14745 13441 0 -1 64 9492 0 0 0 29 3 0 0 16 0 9 0 43705313 889315328 25932 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=14745/tid=14749] ppid=14743 vsize=868472 CPUtime=0
/proc/14745/task/14749/stat : 14749 (java) S 14743 14745 13441 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 43705313 889315328 25932 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14745/tid=14750] ppid=14743 vsize=868472 CPUtime=0
/proc/14745/task/14750/stat : 14750 (java) S 14743 14745 13441 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 43705313 889315328 25932 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14745/tid=14751] ppid=14743 vsize=868472 CPUtime=0
/proc/14745/task/14751/stat : 14751 (java) S 14743 14745 13441 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 43705315 889315328 25932 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14745/tid=14752] ppid=14743 vsize=868472 CPUtime=0.26
/proc/14745/task/14752/stat : 14752 (java) S 14743 14745 13441 0 -1 64 736 0 0 0 25 1 0 0 16 0 9 0 43705315 889315328 25932 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14745/tid=14753] ppid=14743 vsize=868472 CPUtime=0
/proc/14745/task/14753/stat : 14753 (java) S 14743 14745 13441 0 -1 64 2 0 0 0 0 0 0 0 25 0 9 0 43705315 889315328 25932 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14745/tid=14754] ppid=14743 vsize=868472 CPUtime=0
/proc/14745/task/14754/stat : 14754 (java) S 14743 14745 13441 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 43705315 889315328 25932 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 433.01
Current children cumulated vsize (KiB) 868472
[startup+442.203 s]
/proc/loadavg: 7.23 6.38 4.33 2/125 14758
/proc/meminfo: memFree=746580/2055920 swapFree=4152032/4192956
[pid=14745] ppid=14743 vsize=868472 CPUtime=439.36
/proc/14745/stat : 14745 (java) S 14743 14745 13441 0 -1 0 26794 0 1 0 43915 21 0 0 20 0 9 0 43705310 889315328 25932 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/14745/statm: 217118 25932 2640 9 0 211624 0
[pid=14745/tid=14747] ppid=14743 vsize=868472 CPUtime=438.75
/proc/14745/task/14747/stat : 14747 (java) R 14743 14745 13441 0 -1 64 15869 0 1 0 43859 16 0 0 25 0 9 0 43705311 889315328 25932 996147200 134512640 134550740 4294955952 18446744073709551615 4127152930 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14745/tid=14748] ppid=14743 vsize=868472 CPUtime=0.32
/proc/14745/task/14748/stat : 14748 (java) S 14743 14745 13441 0 -1 64 9492 0 0 0 29 3 0 0 16 0 9 0 43705313 889315328 25932 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=14745/tid=14749] ppid=14743 vsize=868472 CPUtime=0
/proc/14745/task/14749/stat : 14749 (java) S 14743 14745 13441 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 43705313 889315328 25932 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14745/tid=14750] ppid=14743 vsize=868472 CPUtime=0
/proc/14745/task/14750/stat : 14750 (java) S 14743 14745 13441 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 43705313 889315328 25932 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14745/tid=14751] ppid=14743 vsize=868472 CPUtime=0
/proc/14745/task/14751/stat : 14751 (java) S 14743 14745 13441 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 43705315 889315328 25932 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14745/tid=14752] ppid=14743 vsize=868472 CPUtime=0.26
/proc/14745/task/14752/stat : 14752 (java) S 14743 14745 13441 0 -1 64 736 0 0 0 25 1 0 0 16 0 9 0 43705315 889315328 25932 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14745/tid=14753] ppid=14743 vsize=868472 CPUtime=0
/proc/14745/task/14753/stat : 14753 (java) S 14743 14745 13441 0 -1 64 2 0 0 0 0 0 0 0 25 0 9 0 43705315 889315328 25932 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14745/tid=14754] ppid=14743 vsize=868472 CPUtime=0
/proc/14745/task/14754/stat : 14754 (java) S 14743 14745 13441 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 43705315 889315328 25932 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 439.36
Current children cumulated vsize (KiB) 868472
[startup+445.409 s]
/proc/loadavg: 7.23 6.38 4.33 3/125 14758
/proc/meminfo: memFree=639700/2055920 swapFree=4152032/4192956
[pid=14745] ppid=14743 vsize=868384 CPUtime=442.54
/proc/14745/stat : 14745 (java) S 14743 14745 13441 0 -1 0 64857 0 1 0 44219 35 0 0 20 0 9 0 43705310 889225216 63926 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/14745/statm: 217096 63926 2619 9 0 211624 0
[pid=14745/tid=14747] ppid=14743 vsize=868384 CPUtime=441.63
/proc/14745/task/14747/stat : 14747 (java) R 14743 14745 13441 0 -1 64 15967 0 1 0 44147 16 0 0 16 0 9 0 43705311 889225216 63926 996147200 134512640 134550740 4294955952 18446744073709551615 104455595 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14745/tid=14748] ppid=14743 vsize=868384 CPUtime=0.6
/proc/14745/task/14748/stat : 14748 (java) S 14743 14745 13441 0 -1 64 47447 0 0 0 44 16 0 0 17 0 9 0 43705313 889225216 63926 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=14745/tid=14749] ppid=14743 vsize=868384 CPUtime=0
/proc/14745/task/14749/stat : 14749 (java) S 14743 14745 13441 0 -1 64 12 0 0 0 0 0 0 0 15 0 9 0 43705313 889225216 63926 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14745/tid=14750] ppid=14743 vsize=868384 CPUtime=0
/proc/14745/task/14750/stat : 14750 (java) S 14743 14745 13441 0 -1 64 8 0 0 0 0 0 0 0 15 0 9 0 43705313 889225216 63926 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14745/tid=14751] ppid=14743 vsize=868384 CPUtime=0
/proc/14745/task/14751/stat : 14751 (java) S 14743 14745 13441 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 43705315 889225216 63926 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14745/tid=14752] ppid=14743 vsize=868384 CPUtime=0.28
/proc/14745/task/14752/stat : 14752 (java) S 14743 14745 13441 0 -1 64 743 0 0 0 27 1 0 0 15 0 9 0 43705315 889225216 63926 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14745/tid=14753] ppid=14743 vsize=868384 CPUtime=0
/proc/14745/task/14753/stat : 14753 (java) S 14743 14745 13441 0 -1 64 2 0 0 0 0 0 0 0 25 0 9 0 43705315 889225216 63926 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14745/tid=14754] ppid=14743 vsize=868384 CPUtime=0
/proc/14745/task/14754/stat : 14754 (java) S 14743 14745 13441 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 43705315 889225216 63926 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 442.54
Current children cumulated vsize (KiB) 868384
[startup+448.602 s]
/proc/loadavg: 7.21 6.39 4.35 2/125 14758
/proc/meminfo: memFree=48852/2055920 swapFree=4152032/4192956
[pid=14745] ppid=14743 vsize=868680 CPUtime=445.74
/proc/14745/stat : 14745 (java) S 14743 14745 13441 0 -1 0 200482 0 1 0 44489 85 0 0 20 0 9 0 43705310 889528320 199537 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/14745/statm: 217170 199537 2618 9 0 211698 0
[pid=14745/tid=14747] ppid=14743 vsize=868680 CPUtime=442.03
/proc/14745/task/14747/stat : 14747 (java) S 14743 14745 13441 0 -1 64 16004 0 1 0 44187 16 0 0 16 0 9 0 43705311 889528320 199537 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14745/tid=14748] ppid=14743 vsize=868680 CPUtime=3.39
/proc/14745/task/14748/stat : 14748 (java) R 14743 14745 13441 0 -1 64 183035 0 0 0 274 65 0 0 18 0 9 0 43705313 889528320 199537 996147200 134512640 134550740 4294955952 18446744073709551615 104182546 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=14745/tid=14749] ppid=14743 vsize=868680 CPUtime=0
/proc/14745/task/14749/stat : 14749 (java) S 14743 14745 13441 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 43705313 889528320 199537 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14745/tid=14750] ppid=14743 vsize=868680 CPUtime=0
/proc/14745/task/14750/stat : 14750 (java) S 14743 14745 13441 0 -1 64 8 0 0 0 0 0 0 0 16 0 9 0 43705313 889528320 199537 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14745/tid=14751] ppid=14743 vsize=868680 CPUtime=0
/proc/14745/task/14751/stat : 14751 (java) S 14743 14745 13441 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 43705315 889528320 199537 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14745/tid=14752] ppid=14743 vsize=868680 CPUtime=0.28
/proc/14745/task/14752/stat : 14752 (java) S 14743 14745 13441 0 -1 64 743 0 0 0 27 1 0 0 15 0 9 0 43705315 889528320 199537 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14745/tid=14753] ppid=14743 vsize=868680 CPUtime=0
/proc/14745/task/14753/stat : 14753 (java) S 14743 14745 13441 0 -1 64 2 0 0 0 0 0 0 0 25 0 9 0 43705315 889528320 199537 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14745/tid=14754] ppid=14743 vsize=868680 CPUtime=0
/proc/14745/task/14754/stat : 14754 (java) S 14743 14745 13441 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 43705315 889528320 199537 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 445.74
Current children cumulated vsize (KiB) 868680
[startup+449.402 s]
/proc/loadavg: 7.21 6.39 4.35 2/125 14758
/proc/meminfo: memFree=48852/2055920 swapFree=4152032/4192956
[pid=14745] ppid=14743 vsize=868680 CPUtime=446.53
/proc/14745/stat : 14745 (java) S 14743 14745 13441 0 -1 0 200483 0 1 0 44568 85 0 0 20 0 9 0 43705310 889528320 199537 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/14745/statm: 217170 199537 2618 9 0 211698 0
[pid=14745/tid=14747] ppid=14743 vsize=868680 CPUtime=442.03
/proc/14745/task/14747/stat : 14747 (java) S 14743 14745 13441 0 -1 64 16005 0 1 0 44187 16 0 0 17 0 9 0 43705311 889528320 199537 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14745/tid=14748] ppid=14743 vsize=868680 CPUtime=4.17
/proc/14745/task/14748/stat : 14748 (java) R 14743 14745 13441 0 -1 64 183035 0 0 0 352 65 0 0 17 0 9 0 43705313 889528320 199537 996147200 134512640 134550740 4294955952 18446744073709551615 104180258 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=14745/tid=14749] ppid=14743 vsize=868680 CPUtime=0
/proc/14745/task/14749/stat : 14749 (java) S 14743 14745 13441 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 43705313 889528320 199537 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14745/tid=14750] ppid=14743 vsize=868680 CPUtime=0
/proc/14745/task/14750/stat : 14750 (java) S 14743 14745 13441 0 -1 64 8 0 0 0 0 0 0 0 16 0 9 0 43705313 889528320 199537 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14745/tid=14751] ppid=14743 vsize=868680 CPUtime=0
/proc/14745/task/14751/stat : 14751 (java) S 14743 14745 13441 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 43705315 889528320 199537 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14745/tid=14752] ppid=14743 vsize=868680 CPUtime=0.28
/proc/14745/task/14752/stat : 14752 (java) S 14743 14745 13441 0 -1 64 743 0 0 0 27 1 0 0 15 0 9 0 43705315 889528320 199537 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14745/tid=14753] ppid=14743 vsize=868680 CPUtime=0
/proc/14745/task/14753/stat : 14753 (java) S 14743 14745 13441 0 -1 64 2 0 0 0 0 0 0 0 25 0 9 0 43705315 889528320 199537 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14745/tid=14754] ppid=14743 vsize=868680 CPUtime=0
/proc/14745/task/14754/stat : 14754 (java) S 14743 14745 13441 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 43705315 889528320 199537 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 446.53
Current children cumulated vsize (KiB) 868680
[startup+450.201 s]
/proc/loadavg: 7.21 6.39 4.35 2/125 14758
/proc/meminfo: memFree=48788/2055920 swapFree=4152032/4192956
[pid=14745] ppid=14743 vsize=868680 CPUtime=447.32
/proc/14745/stat : 14745 (java) S 14743 14745 13441 0 -1 0 200484 0 1 0 44647 85 0 0 20 0 9 0 43705310 889528320 199537 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/14745/statm: 217170 199537 2618 9 0 211698 0
[pid=14745/tid=14747] ppid=14743 vsize=868680 CPUtime=442.03
/proc/14745/task/14747/stat : 14747 (java) S 14743 14745 13441 0 -1 64 16006 0 1 0 44187 16 0 0 17 0 9 0 43705311 889528320 199537 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14745/tid=14748] ppid=14743 vsize=868680 CPUtime=4.96
/proc/14745/task/14748/stat : 14748 (java) R 14743 14745 13441 0 -1 64 183035 0 0 0 431 65 0 0 18 0 9 0 43705313 889528320 199537 996147200 134512640 134550740 4294955952 18446744073709551615 104181586 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=14745/tid=14749] ppid=14743 vsize=868680 CPUtime=0
/proc/14745/task/14749/stat : 14749 (java) S 14743 14745 13441 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 43705313 889528320 199537 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14745/tid=14750] ppid=14743 vsize=868680 CPUtime=0
/proc/14745/task/14750/stat : 14750 (java) S 14743 14745 13441 0 -1 64 8 0 0 0 0 0 0 0 16 0 9 0 43705313 889528320 199537 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14745/tid=14751] ppid=14743 vsize=868680 CPUtime=0
/proc/14745/task/14751/stat : 14751 (java) S 14743 14745 13441 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 43705315 889528320 199537 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14745/tid=14752] ppid=14743 vsize=868680 CPUtime=0.28
/proc/14745/task/14752/stat : 14752 (java) S 14743 14745 13441 0 -1 64 743 0 0 0 27 1 0 0 15 0 9 0 43705315 889528320 199537 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14745/tid=14753] ppid=14743 vsize=868680 CPUtime=0
/proc/14745/task/14753/stat : 14753 (java) S 14743 14745 13441 0 -1 64 2 0 0 0 0 0 0 0 25 0 9 0 43705315 889528320 199537 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14745/tid=14754] ppid=14743 vsize=868680 CPUtime=0
/proc/14745/task/14754/stat : 14754 (java) S 14743 14745 13441 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 43705315 889528320 199537 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 447.32
Current children cumulated vsize (KiB) 868680
[startup+450.401 s]
/proc/loadavg: 7.21 6.39 4.35 2/125 14758
/proc/meminfo: memFree=48788/2055920 swapFree=4152032/4192956
[pid=14745] ppid=14743 vsize=0 CPUtime=447.47
/proc/14745/stat : 14745 (java) Z 14743 14745 13441 0 -1 12 200492 0 1 0 44653 94 0 0 16 0 2 0 43705310 0 0 996147200 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/14745/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 447.47
Current children cumulated vsize (KiB) 0
Child status: 0
Real time (s): 450.422
CPU time (s): 447.505
CPU user time (s): 446.538
CPU system time (s): 0.966853
CPU usage (%): 99.3523
Max. virtual memory (cumulated for all children) (KiB): 868680
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 446.538
system time used= 0.966853
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 200492
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= 10261
involuntary context switches= 18398
runsolver used 1.74173 second user time and 5.81312 second system time
The end
Begin job on node90 at 2008-07-12 15:41:27
IDJOB=1112551
IDBENCH=61435
IDSOLVER=359
FILE ID=node90/1112551-1215870058
PBS_JOBID= 7903424
Free space on /tmp= 66108 MiB
SOLVER NAME= AbsconMax 112 pc-w
BENCH NAME= CPAI08/csp/super-js/super-js-taillard-15/normalized-super-js-taillard-15-30.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-1112551-1215870058/watcher-1112551-1215870058 -o /tmp/evaluation-result-1112551-1215870058/solver-1112551-1215870058 -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-1112551-1215870058.xml
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 008c1f6eb2772a7d547f78fa2d1b705f
RANDOM SEED=274636840
node90.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.256
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5931.00
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.256
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: 1369244 kB
Buffers: 13764 kB
Cached: 516248 kB
SwapCached: 21128 kB
Active: 567844 kB
Inactive: 30744 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1369244 kB
SwapTotal: 4192956 kB
SwapFree: 4152032 kB
Dirty: 383124 kB
Writeback: 61128 kB
Mapped: 87280 kB
Slab: 69616 kB
Committed_AS: 387000 kB
PageTables: 4684 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= 66556 MiB
End job on node90 at 2008-07-12 16:46:06