0.30
0.30 Abscon 109 (November, 2006)
0.30
0.30 configuration
0.30 name=epfc.xml
0.34
0.34 instance
0.34 name=/tmp/evaluation/282817-1169322697/unknown.xml
0.37
0.37 domains being loaded...
0.37
0.37 variables being loaded...
0.46 nbVariables=310 nbDomainTypes=3 minDomainSize=1 maxDomainSize=4
0.46 => wckTime=0.15 cpuTime=0.1 mem=7M862
0.46
0.46 relations being loaded...
0.46
0.46 constraints being loaded...
0.77 nbConstraints=5621 nbRelationTypes=11 nbSingletonDomainVariables=1 nbExtensionStructures=12
0.77 nbSharedExtensionStructures=5609 nbConflictsStructures=12 nbSharedConflictsStructures=5609
0.77 nbSharedBinaryRepresentations=28 maxDegree=309 maxArity=3
0.77 => wckTime=0.466 cpuTime=0.31 mem=22M513
0.85
0.85 solver LocalSearchSolver being built...
0.90 => wckTime=0.59 cpuTime=0.36 mem=8M383
0.91
0.91 s SATISFIABLE
0.91 o 4541
0.91 c 1080
0.91 o 4562
0.91 c 1059
0.92 o 4583
0.92 c 1038
0.92 o 4602
0.92 c 1019
0.92 o 4620
0.92 c 1001
0.92 o 4638
0.92 c 983
0.93 o 4655
0.93 c 966
0.93 o 4672
0.93 c 949
0.93 o 4688
0.93 c 933
0.93 o 4704
0.93 c 917
0.93 o 4720
0.93 c 901
0.93 o 4735
0.93 c 886
0.93 o 4749
0.93 c 872
0.93 o 4763
0.93 c 858
0.93 o 4777
0.93 c 844
0.93 o 4790
0.93 c 831
0.94 o 4803
0.94 c 818
0.94 o 4815
0.94 c 806
0.94 o 4827
0.94 c 794
0.94 o 4839
0.94 c 782
0.94 o 4851
0.94 c 770
0.94 o 4863
0.94 c 758
0.94 o 4874
0.94 c 747
0.94 o 4885
0.94 c 736
0.94 o 4896
0.94 c 725
0.94 o 4907
0.94 c 714
0.95 o 4917
0.95 c 704
0.95 o 4927
0.95 c 694
0.95 o 4937
0.95 c 684
0.95 o 4946
0.95 c 675
0.95 o 4955
0.95 c 666
0.95 o 4964
0.95 c 657
0.95 o 4973
0.95 c 648
0.95 o 4982
0.95 c 639
0.95 o 4991
0.95 c 630
0.95 o 5000
0.95 c 621
0.96 o 5008
0.96 c 613
0.96 o 5016
0.96 c 605
0.96 o 5024
0.96 c 597
0.96 o 5032
0.96 c 589
0.96 o 5040
0.96 c 581
0.96 o 5048
0.96 c 573
0.96 o 5056
0.96 c 565
0.96 o 5063
0.96 c 558
0.96 o 5070
0.96 c 551
0.96 o 5077
0.96 c 544
0.96 o 5084
0.96 c 537
0.96 o 5091
0.96 c 530
0.96 o 5098
0.96 c 523
0.97 o 5104
0.97 c 517
0.97 o 5110
0.97 c 511
0.97 o 5116
0.97 c 505
0.97 o 5122
0.97 c 499
0.97 o 5128
0.97 c 493
0.97 o 5134
0.97 c 487
0.97 o 5140
0.97 c 481
0.97 o 5146
0.97 c 475
0.97 o 5152
0.97 c 469
0.97 o 5158
0.97 c 463
0.97 o 5163
0.97 c 458
0.98 o 5168
0.98 c 453
0.98 o 5173
0.98 c 448
0.98 o 5178
0.98 c 443
0.98 o 5183
0.98 c 438
0.98 o 5188
0.98 c 433
0.98 o 5193
0.98 c 428
0.98 o 5198
0.98 c 423
0.98 o 5203
0.98 c 418
0.98 o 5208
0.98 c 413
0.98 o 5213
0.98 c 408
0.98 o 5218
0.98 c 403
0.98 o 5222
0.98 c 399
0.98 o 5226
0.98 c 395
0.99 o 5230
0.99 c 391
0.99 o 5234
0.99 c 387
0.99 o 5238
0.99 c 383
0.99 o 5242
0.99 c 379
0.99 o 5246
0.99 c 375
0.99 o 5250
0.99 c 371
0.99 o 5254
0.99 c 367
0.99 o 5258
0.99 c 363
0.99 o 5262
0.99 c 359
0.99 o 5266
0.99 c 355
0.99 o 5270
0.99 c 351
0.99 o 5274
0.99 c 347
0.99 o 5278
0.99 c 343
0.99 o 5281
0.99 c 340
1.00 o 5284
1.00 c 337
1.00 o 5287
1.00 c 334
1.00 o 5290
1.00 c 331
1.00 o 5293
1.00 c 328
1.00 o 5296
1.00 c 325
1.00 o 5299
1.00 c 322
1.00 o 5302
1.00 c 319
1.00 o 5305
1.00 c 316
1.00 o 5308
1.00 c 313
1.00 o 5311
1.00 c 310
1.00 o 5314
1.00 c 307
1.00 o 5316
1.00 c 305
1.00 o 5318
1.00 c 303
1.01 o 5320
1.01 c 301
1.01 o 5322
1.01 c 299
1.01 o 5324
1.01 c 297
1.01 o 5326
1.01 c 295
1.01 o 5328
1.01 c 293
1.01 o 5330
1.01 c 291
1.01 o 5332
1.01 c 289
1.01 o 5334
1.01 c 287
1.01 o 5336
1.01 c 285
1.01 o 5338
1.01 c 283
1.01 o 5340
1.01 c 281
1.01 o 5342
1.01 c 279
1.02 o 5344
1.02 c 277
1.02 o 5346
1.02 c 275
1.02 o 5348
1.02 c 273
1.02 o 5350
1.02 c 271
1.02 o 5352
1.02 c 269
1.02 o 5353
1.02 c 268
1.02 o 5354
1.02 c 267
1.02 o 5355
1.02 c 266
1.03 o 5356
1.03 c 265
1.03 o 5357
1.03 c 264
1.03 o 5358
1.03 c 263
1.03 o 5359
1.03 c 262
1.03 o 5360
1.03 c 261
1.03 o 5361
1.03 c 260
1.03 o 5362
1.03 c 259
1.03 o 5363
1.03 c 258
1.03 o 5364
1.03 c 257
1.03 o 5365
1.03 c 256
1.03 o 5366
1.03 c 255
1.04 o 5367
1.04 c 254
1.04 o 5368
1.04 c 253
1.04 o 5369
1.04 c 252
1.04 o 5370
1.04 c 251
1.04 o 5371
1.04 c 250
1.04 o 5372
1.04 c 249
1.04 o 5373
1.04 c 248
1.04 o 5374
1.04 c 247
1.04 o 5375
1.04 c 246
1.05 o 5376
1.05 c 245
1.05 o 5377
1.05 c 244
1.05 o 5378
1.05 c 243
1.05 o 5379
1.05 c 242
1.05 o 5380
1.05 c 241
1.05 o 5381
1.05 c 240
1.06 o 5382
1.06 c 239
1.06 o 5383
1.06 c 238
1.06 o 5384
1.06 c 237
1.06 o 5385
1.06 c 236
1.08 o 5386
1.08 c 235
1.08 o 5387
1.08 c 234
1.10 o 5388
1.10 c 233
1.11 o 5389
1.11 c 232
31.40
31.40 search
31.40 run=0 nbConstraintChecks=137176263 nbAssignments=9129
31.40 => wckTime=30.507 cpuTime=30.19 mem=8M383
31.41
31.41 global
31.41 nbConstraintChecks=137176263 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
31.41 solvingWckTime=30.505 solvingCpuTime=30.18 expiredTime=no totalExploration=no nbFoundSolutions=0
31.41 globalCpuTime=30.6
31.41 => wckTime=31.099 cpuTime=30.55 mem=8M383
31.41
31.41 solver IterativeSystematicSolver being built...
31.57 => wckTime=31.265 cpuTime=30.68 mem=23M243
33.92
33.92 preprocessing
33.92 nbConstraintChecks=1517957 nbValidityChecks=23400 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
33.92 nbRemovedValues=0 detectedInconsistency=no
33.92 => wckTime=2.345 cpuTime=2.28 mem=23M243
35.23 o 5392
35.24 c 229
35.79
35.79 search
35.80 run=0 nbConstraintChecks=3085903 nbValidityChecks=138423 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
35.80 nbAssignments=310 nbFailedAssignments=0 nbBacktracks=185 nbVisitedNodes=464 nbRestartNogoods=0
35.80 => wckTime=4.22 cpuTime=4.14 mem=23M243
37.36
37.36 search
37.36 run=1 nbConstraintChecks=3946296 nbValidityChecks=170437 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
37.36 nbAssignments=450 nbFailedAssignments=12 nbBacktracks=200 nbVisitedNodes=629 nbRestartNogoods=1
37.36 => wckTime=5.786 cpuTime=5.69 mem=23M243
38.61 o 5393
38.61 c 228
38.85
38.85 search
38.85 run=2 nbConstraintChecks=5930425 nbValidityChecks=257660 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
38.85 nbAssignments=760 nbFailedAssignments=12 nbBacktracks=417 nbVisitedNodes=955 nbRestartNogoods=2
38.85 => wckTime=7.272 cpuTime=7.17 mem=23M243
40.95
40.95 search
40.95 run=3 nbConstraintChecks=7254560 nbValidityChecks=317312 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
40.95 nbAssignments=935 nbFailedAssignments=27 nbBacktracks=451 nbVisitedNodes=1173 nbRestartNogoods=3
40.95 => wckTime=9.378 cpuTime=9.27 mem=23M243
43.02
43.02 search
43.02 run=4 nbConstraintChecks=9352865 nbValidityChecks=438065 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
43.02 nbAssignments=1179 nbFailedAssignments=48 nbBacktracks=508 nbVisitedNodes=1485 nbRestartNogoods=7
43.02 => wckTime=11.446 cpuTime=11.33 mem=23M243
48.10
48.10 search
48.10 run=5 nbConstraintChecks=11232898 nbValidityChecks=657915 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
48.10 nbAssignments=1387 nbFailedAssignments=100 nbBacktracks=583 nbVisitedNodes=1820 nbRestartNogoods=17
48.10 => wckTime=16.53 cpuTime=16.41 mem=23M243
54.59
54.59 search
54.59 run=6 nbConstraintChecks=14226853 nbValidityChecks=930060 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
54.59 nbAssignments=1686 nbFailedAssignments=164 nbBacktracks=698 nbVisitedNodes=2297 nbRestartNogoods=22
54.59 => wckTime=23.018 cpuTime=22.88 mem=23M243
64.00
64.00 search
64.00 run=7 nbConstraintChecks=18567576 nbValidityChecks=1317741 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
64.00 nbAssignments=2079 nbFailedAssignments=270 nbBacktracks=874 nbVisitedNodes=2969 nbRestartNogoods=35
64.00 => wckTime=32.426 cpuTime=32.26 mem=23M243
73.24
73.24 search
73.24 run=8 nbConstraintChecks=24390884 nbValidityChecks=1690959 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
73.24 nbAssignments=2567 nbFailedAssignments=341 nbBacktracks=1131 nbVisitedNodes=3769 nbRestartNogoods=51
73.24 => wckTime=41.667 cpuTime=41.48 mem=23M243
90.96
90.96 search
90.96 run=9 nbConstraintChecks=34362020 nbValidityChecks=2261081 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
90.96 nbAssignments=3362 nbFailedAssignments=517 nbBacktracks=1515 nbVisitedNodes=5078 nbRestartNogoods=64
90.96 => wckTime=59.383 cpuTime=59.18 mem=23M243
105.09
105.09 search
105.09 run=10 nbConstraintChecks=48858587 nbValidityChecks=2819421 nbPropagations=0 nbRevisions=0
105.09 nbUselessRevisions=0 nbAssignments=4416 nbFailedAssignments=778 nbBacktracks=2091 nbVisitedNodes=6902
105.09 nbRestartNogoods=75
105.09 => wckTime=73.514 cpuTime=73.3 mem=23M243
142.98
142.98 search
142.98 run=11 nbConstraintChecks=67597663 nbValidityChecks=3922201 nbPropagations=0 nbRevisions=0
142.98 nbUselessRevisions=0 nbAssignments=5567 nbFailedAssignments=953 nbBacktracks=2957 nbVisitedNodes=9093
142.98 nbRestartNogoods=101
142.98 => wckTime=111.408 cpuTime=111.15 mem=23M243
195.73
195.73 search
195.74 run=12 nbConstraintChecks=92620479 nbValidityChecks=5696350 nbPropagations=0 nbRevisions=0
195.74 nbUselessRevisions=0 nbAssignments=7369 nbFailedAssignments=1322 nbBacktracks=4269 nbVisitedNodes=12514
195.74 nbRestartNogoods=108
195.74 => wckTime=164.162 cpuTime=163.85 mem=23M243
303.05
303.05 search
303.05 run=13 nbConstraintChecks=138240840 nbValidityChecks=9418470 nbPropagations=0 nbRevisions=0
303.05 nbUselessRevisions=0 nbAssignments=10497 nbFailedAssignments=2370 nbBacktracks=6215 nbVisitedNodes=18586
303.05 nbRestartNogoods=121
303.05 => wckTime=271.48 cpuTime=271.04 mem=23M243
456.17
456.17 search
456.17 run=14 nbConstraintChecks=199647088 nbValidityChecks=14354195 nbPropagations=0 nbRevisions=0
456.17 nbUselessRevisions=0 nbAssignments=15190 nbFailedAssignments=4032 nbBacktracks=9136 nbVisitedNodes=27693
456.17 nbRestartNogoods=135
456.17 => wckTime=424.593 cpuTime=423.99 mem=23M243
644.10
644.10 search
644.10 run=15 nbConstraintChecks=293104848 nbValidityChecks=21107162 nbPropagations=0 nbRevisions=0
644.10 nbUselessRevisions=0 nbAssignments=20942 nbFailedAssignments=5287 nbBacktracks=13515 nbVisitedNodes=38771
644.10 nbRestartNogoods=150
644.10 => wckTime=612.528 cpuTime=611.63 mem=23M243
1060.88
1060.88 search
1060.88 run=16 nbConstraintChecks=464431867 nbValidityChecks=34673355 nbPropagations=0 nbRevisions=0
1060.88 nbUselessRevisions=0 nbAssignments=31247 nbFailedAssignments=8923 nbBacktracks=20084 nbVisitedNodes=58685
1060.88 nbRestartNogoods=162
1060.88 => wckTime=1029.311 cpuTime=1027.93 mem=23M243
1431.31
1431.31 search
1431.31 run=17 nbConstraintChecks=663219898 nbValidityChecks=46017471 nbPropagations=0 nbRevisions=0
1431.31 nbUselessRevisions=0 nbAssignments=43456 nbFailedAssignments=11140 nbBacktracks=29937 nbVisitedNodes=82724
1431.31 nbRestartNogoods=170
1431.31 => wckTime=1399.737 cpuTime=1397.95 mem=23M243
1892.33
1892.33 search
1892.33 run=18 nbConstraintChecks=973040440 nbValidityChecks=66577993 nbPropagations=0 nbRevisions=0
1892.33 nbUselessRevisions=0 nbAssignments=64356 nbFailedAssignments=17104 nbBacktracks=44715 nbVisitedNodes=122295
1892.33 nbRestartNogoods=182
1892.33 => wckTime=1860.76 cpuTime=1858.47 mem=23M243
2403.13 v 0 0 0 1 0 1 2 1 0 2 0 2 0 1 1 0 1 1 1 0 1 1 1 1 0 0 1 0 1 2 0 1 0 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 0 1 1 1 3 1 1 0 2 0 3 3 3 3 3 3 3 1 3 3 2 3 3 3 3 0 0 3 3 3 1 3 3 2 3 3 3 3 3 3 3 3 3 3 3 3 0 3 3 3 3 3 3 3 3 3 1 3 0 1 0 1 0 0 1 0 0 0 0 0 2 1 0 2 1 1 1 1 3 1 0 1 0 3 3 1 0 3 1 0 2 1 0 0 2 3 0 0 3 2 1 3 0 1 3 3 3 0 0 1 3 1 1 3 3 3 3 0 0 1 1 3 3 3 3 2 1 3 3 3 3 2 3 3 3 1 3 0 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 0 3 3 3 3 3 3 3 3 1 3 1 3 3 2 3 3 3 0 3 3 3 3 3 3 3 3 2 3 3 3 3 3 3 3 3 0 3 3 3 3 3 3 3 3 2 3 3 3 1 3 3 3 3 3 3 0 3 3 3 3 3 3 3 3 3 3 3 3 3 1 3 3 3 3 3 3 3 2 3 2 3 3 3 3 3 0 0 3 3 3 3 3 1 3 3 3 2 1 3 3 3 0 2 1 -1
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node2/watcher-282817-1169322697 -o ROOT/results/node2/solver-282817-1169322697 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/282817-1169322697/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 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
Current StackSize limit: 10240 KiB
/proc/loadavg: 1.85 1.95 1.98 4/93 31610
/proc/meminfo: memFree=1191128/2055920 swapFree=4180552/4192956
[pid=31609] ppid=31607 vsize=906644 CPUtime=0.02
/proc/31609/stat : 31609 (java) S 31607 31609 31469 0 -1 0 2068 0 1 0 2 0 0 0 18 0 2 0 280665311 928403456 1817 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 7368 18446744073709551615 0 0 17 1 0 0
/proc/31609/statm: 226661 1817 1036 14 0 214244 0
[pid=31609/tid=31611] ppid=31607 vsize=906644 CPUtime=0
/proc/31609/task/31611/stat : 31611 (java) R 31607 31609 31469 0 -1 64 3 0 0 0 0 0 0 0 19 0 2 0 280665314 928403456 1817 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 7368 0 0 0 -1 1 0 0
[startup+0.103296 s]
/proc/loadavg: 1.85 1.95 1.98 4/93 31610
/proc/meminfo: memFree=1191128/2055920 swapFree=4180552/4192956
[pid=31609] ppid=31607 vsize=914988 CPUtime=0.09
/proc/31609/stat : 31609 (java) R 31607 31609 31469 0 -1 0 3018 0 1 0 8 1 0 0 17 0 8 0 280665311 936947712 2764 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4154099917 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31609/statm: 228747 2764 1435 14 0 215242 0
[pid=31609/tid=31611] ppid=31607 vsize=914988 CPUtime=0
/proc/31609/task/31611/stat : 31611 (java) S 31607 31609 31469 0 -1 64 6 0 0 0 0 0 0 0 18 0 8 0 280665314 936947712 2764 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.515369 s]
/proc/loadavg: 1.85 1.95 1.98 4/93 31610
/proc/meminfo: memFree=1191128/2055920 swapFree=4180552/4192956
[pid=31609] ppid=31607 vsize=915332 CPUtime=0.5
/proc/31609/stat : 31609 (java) R 31607 31609 31469 0 -1 0 6402 0 1 0 46 4 0 0 18 0 8 0 280665311 937299968 6141 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31609/statm: 228833 6141 2143 14 0 215303 0
[pid=31609/tid=31611] ppid=31607 vsize=915332 CPUtime=0
/proc/31609/task/31611/stat : 31611 (java) S 31607 31609 31469 0 -1 64 6 0 0 0 0 0 0 0 18 0 8 0 280665314 937299968 6141 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915332
[startup+1.33852 s]
/proc/loadavg: 1.85 1.95 1.98 3/100 31617
/proc/meminfo: memFree=1156960/2055920 swapFree=4180552/4192956
[pid=31609] ppid=31607 vsize=915484 CPUtime=1.3
/proc/31609/stat : 31609 (java) R 31607 31609 31469 0 -1 0 11239 0 1 0 121 9 0 0 24 0 8 0 280665311 937455616 10977 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073844746 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31609/statm: 228871 10977 2479 14 0 215341 0
[pid=31609/tid=31611] ppid=31607 vsize=915484 CPUtime=0.06
/proc/31609/task/31611/stat : 31611 (java) S 31607 31609 31469 0 -1 64 877 0 0 0 6 0 0 0 16 0 8 0 280665314 937455616 10977 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31609/tid=31612] ppid=31607 vsize=915484 CPUtime=0
/proc/31609/task/31612/stat : 31612 (java) S 31607 31609 31469 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 280665315 937455616 10977 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31609/tid=31613] ppid=31607 vsize=915484 CPUtime=0
/proc/31609/task/31613/stat : 31613 (java) S 31607 31609 31469 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280665315 937455616 10977 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31609/tid=31614] ppid=31607 vsize=915484 CPUtime=0
/proc/31609/task/31614/stat : 31614 (java) S 31607 31609 31469 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 280665318 937455616 10977 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31609/tid=31615] ppid=31607 vsize=915484 CPUtime=0.19
/proc/31609/task/31615/stat : 31615 (java) S 31607 31609 31469 0 -1 64 376 0 0 0 19 0 0 0 16 0 8 0 280665318 937455616 10977 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31609/tid=31616] ppid=31607 vsize=915484 CPUtime=0
/proc/31609/task/31616/stat : 31616 (java) S 31607 31609 31469 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280665318 937455616 10977 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31609/tid=31617] ppid=31607 vsize=915484 CPUtime=0
/proc/31609/task/31617/stat : 31617 (java) S 31607 31609 31469 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280665318 937455616 10977 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915484
[startup+2.97582 s]
/proc/loadavg: 1.85 1.95 1.98 3/100 31617
/proc/meminfo: memFree=1156896/2055920 swapFree=4180552/4192956
[pid=31609] ppid=31607 vsize=915484 CPUtime=2.92
/proc/31609/stat : 31609 (java) R 31607 31609 31469 0 -1 0 11242 0 1 0 276 16 0 0 25 0 8 0 280665311 937455616 10979 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073843049 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31609/statm: 228871 10979 2479 14 0 215341 0
[pid=31609/tid=31611] ppid=31607 vsize=915484 CPUtime=0.06
/proc/31609/task/31611/stat : 31611 (java) S 31607 31609 31469 0 -1 64 877 0 0 0 6 0 0 0 16 0 8 0 280665314 937455616 10979 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31609/tid=31612] ppid=31607 vsize=915484 CPUtime=0
/proc/31609/task/31612/stat : 31612 (java) S 31607 31609 31469 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 280665315 937455616 10979 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31609/tid=31613] ppid=31607 vsize=915484 CPUtime=0
/proc/31609/task/31613/stat : 31613 (java) S 31607 31609 31469 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280665315 937455616 10979 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31609/tid=31614] ppid=31607 vsize=915484 CPUtime=0
/proc/31609/task/31614/stat : 31614 (java) S 31607 31609 31469 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 280665318 937455616 10979 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31609/tid=31615] ppid=31607 vsize=915484 CPUtime=0.2
/proc/31609/task/31615/stat : 31615 (java) S 31607 31609 31469 0 -1 64 378 0 0 0 20 0 0 0 16 0 8 0 280665318 937455616 10979 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31609/tid=31616] ppid=31607 vsize=915484 CPUtime=0
/proc/31609/task/31616/stat : 31616 (java) S 31607 31609 31469 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280665318 937455616 10979 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31609/tid=31617] ppid=31607 vsize=915484 CPUtime=0
/proc/31609/task/31617/stat : 31617 (java) S 31607 31609 31469 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280665318 937455616 10979 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 915484
[startup+6.17641 s]
/proc/loadavg: 1.86 1.95 1.98 3/100 31617
/proc/meminfo: memFree=1156832/2055920 swapFree=4180552/4192956
[pid=31609] ppid=31607 vsize=915484 CPUtime=6.09
/proc/31609/stat : 31609 (java) R 31607 31609 31469 0 -1 0 11244 0 1 0 586 23 0 0 25 0 8 0 280665311 937455616 10981 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073843035 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31609/statm: 228871 10981 2479 14 0 215341 0
[pid=31609/tid=31611] ppid=31607 vsize=915484 CPUtime=0.06
/proc/31609/task/31611/stat : 31611 (java) S 31607 31609 31469 0 -1 64 877 0 0 0 6 0 0 0 16 0 8 0 280665314 937455616 10981 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31609/tid=31612] ppid=31607 vsize=915484 CPUtime=0
/proc/31609/task/31612/stat : 31612 (java) S 31607 31609 31469 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 280665315 937455616 10981 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31609/tid=31613] ppid=31607 vsize=915484 CPUtime=0
/proc/31609/task/31613/stat : 31613 (java) S 31607 31609 31469 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280665315 937455616 10981 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31609/tid=31614] ppid=31607 vsize=915484 CPUtime=0
/proc/31609/task/31614/stat : 31614 (java) S 31607 31609 31469 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 280665318 937455616 10981 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31609/tid=31615] ppid=31607 vsize=915484 CPUtime=0.2
/proc/31609/task/31615/stat : 31615 (java) S 31607 31609 31469 0 -1 64 380 0 0 0 20 0 0 0 17 0 8 0 280665318 937455616 10981 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31609/tid=31616] ppid=31607 vsize=915484 CPUtime=0
/proc/31609/task/31616/stat : 31616 (java) S 31607 31609 31469 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280665318 937455616 10981 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31609/tid=31617] ppid=31607 vsize=915484 CPUtime=0
/proc/31609/task/31617/stat : 31617 (java) S 31607 31609 31469 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280665318 937455616 10981 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.09
Current children cumulated vsize (KiB) 915484
[startup+12.6556 s]
/proc/loadavg: 1.87 1.95 1.98 3/100 31617
/proc/meminfo: memFree=1156832/2055920 swapFree=4180552/4192956
[pid=31609] ppid=31607 vsize=915484 CPUtime=12.51
/proc/31609/stat : 31609 (java) R 31607 31609 31469 0 -1 0 11244 0 1 0 1215 36 0 0 25 0 8 0 280665311 937455616 10981 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073842932 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31609/statm: 228871 10981 2479 14 0 215341 0
[pid=31609/tid=31611] ppid=31607 vsize=915484 CPUtime=0.06
/proc/31609/task/31611/stat : 31611 (java) S 31607 31609 31469 0 -1 64 877 0 0 0 6 0 0 0 16 0 8 0 280665314 937455616 10981 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31609/tid=31612] ppid=31607 vsize=915484 CPUtime=0
/proc/31609/task/31612/stat : 31612 (java) S 31607 31609 31469 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 280665315 937455616 10981 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31609/tid=31613] ppid=31607 vsize=915484 CPUtime=0
/proc/31609/task/31613/stat : 31613 (java) S 31607 31609 31469 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280665315 937455616 10981 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31609/tid=31614] ppid=31607 vsize=915484 CPUtime=0
/proc/31609/task/31614/stat : 31614 (java) S 31607 31609 31469 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 280665318 937455616 10981 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31609/tid=31615] ppid=31607 vsize=915484 CPUtime=0.2
/proc/31609/task/31615/stat : 31615 (java) S 31607 31609 31469 0 -1 64 380 0 0 0 20 0 0 0 17 0 8 0 280665318 937455616 10981 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31609/tid=31616] ppid=31607 vsize=915484 CPUtime=0
/proc/31609/task/31616/stat : 31616 (java) S 31607 31609 31469 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280665318 937455616 10981 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31609/tid=31617] ppid=31607 vsize=915484 CPUtime=0
/proc/31609/task/31617/stat : 31617 (java) S 31607 31609 31469 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280665318 937455616 10981 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.51
Current children cumulated vsize (KiB) 915484
[startup+25.523 s]
/proc/loadavg: 1.90 1.95 1.98 3/100 31617
/proc/meminfo: memFree=1156896/2055920 swapFree=4180552/4192956
[pid=31609] ppid=31607 vsize=915484 CPUtime=25.26
/proc/31609/stat : 31609 (java) R 31607 31609 31469 0 -1 0 11244 0 1 0 2464 62 0 0 25 0 8 0 280665311 937455616 10981 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073849142 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31609/statm: 228871 10981 2479 14 0 215341 0
[pid=31609/tid=31611] ppid=31607 vsize=915484 CPUtime=0.06
/proc/31609/task/31611/stat : 31611 (java) S 31607 31609 31469 0 -1 64 877 0 0 0 6 0 0 0 16 0 8 0 280665314 937455616 10981 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31609/tid=31612] ppid=31607 vsize=915484 CPUtime=0
/proc/31609/task/31612/stat : 31612 (java) S 31607 31609 31469 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 280665315 937455616 10981 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31609/tid=31613] ppid=31607 vsize=915484 CPUtime=0
/proc/31609/task/31613/stat : 31613 (java) S 31607 31609 31469 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280665315 937455616 10981 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31609/tid=31614] ppid=31607 vsize=915484 CPUtime=0
/proc/31609/task/31614/stat : 31614 (java) S 31607 31609 31469 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 280665318 937455616 10981 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31609/tid=31615] ppid=31607 vsize=915484 CPUtime=0.2
/proc/31609/task/31615/stat : 31615 (java) S 31607 31609 31469 0 -1 64 380 0 0 0 20 0 0 0 17 0 8 0 280665318 937455616 10981 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31609/tid=31616] ppid=31607 vsize=915484 CPUtime=0
/proc/31609/task/31616/stat : 31616 (java) S 31607 31609 31469 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280665318 937455616 10981 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31609/tid=31617] ppid=31607 vsize=915484 CPUtime=0
/proc/31609/task/31617/stat : 31617 (java) S 31607 31609 31469 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280665318 937455616 10981 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.26
Current children cumulated vsize (KiB) 915484
[startup+51.1417 s]
/proc/loadavg: 1.93 1.95 1.98 3/95 31729
/proc/meminfo: memFree=1179272/2055920 swapFree=4180552/4192956
[pid=31609] ppid=31607 vsize=915484 CPUtime=50.78
/proc/31609/stat : 31609 (java) R 31607 31609 31469 0 -1 0 11424 0 1 0 5005 73 0 0 25 0 8 0 280665311 937455616 11148 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073853360 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31609/statm: 228871 11148 2535 14 0 215341 0
[pid=31609/tid=31611] ppid=31607 vsize=915484 CPUtime=0.06
/proc/31609/task/31611/stat : 31611 (java) S 31607 31609 31469 0 -1 64 878 0 0 0 6 0 0 0 17 0 8 0 280665314 937455616 11148 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31609/tid=31612] ppid=31607 vsize=915484 CPUtime=0
/proc/31609/task/31612/stat : 31612 (java) S 31607 31609 31469 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 280665315 937455616 11148 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31609/tid=31613] ppid=31607 vsize=915484 CPUtime=0
/proc/31609/task/31613/stat : 31613 (java) S 31607 31609 31469 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280665315 937455616 11148 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31609/tid=31614] ppid=31607 vsize=915484 CPUtime=0
/proc/31609/task/31614/stat : 31614 (java) S 31607 31609 31469 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 280665318 937455616 11148 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31609/tid=31615] ppid=31607 vsize=915484 CPUtime=0.32
/proc/31609/task/31615/stat : 31615 (java) S 31607 31609 31469 0 -1 64 451 0 0 0 31 1 0 0 16 0 8 0 280665318 937455616 11148 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31609/tid=31616] ppid=31607 vsize=915484 CPUtime=0
/proc/31609/task/31616/stat : 31616 (java) S 31607 31609 31469 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280665318 937455616 11148 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31609/tid=31617] ppid=31607 vsize=915484 CPUtime=0
/proc/31609/task/31617/stat : 31617 (java) S 31607 31609 31469 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280665318 937455616 11148 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.78
Current children cumulated vsize (KiB) 915484
[startup+102.407 s]
/proc/loadavg: 1.97 1.96 1.98 3/94 31730
/proc/meminfo: memFree=1176720/2055920 swapFree=4180552/4192956
[pid=31609] ppid=31607 vsize=915484 CPUtime=101.98
/proc/31609/stat : 31609 (java) R 31607 31609 31469 0 -1 0 11437 0 1 0 10125 73 0 0 25 0 8 0 280665311 937455616 11152 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074075635 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31609/statm: 228871 11152 2535 14 0 215341 0
[pid=31609/tid=31611] ppid=31607 vsize=915484 CPUtime=0.06
/proc/31609/task/31611/stat : 31611 (java) S 31607 31609 31469 0 -1 64 878 0 0 0 6 0 0 0 16 0 8 0 280665314 937455616 11152 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31609/tid=31612] ppid=31607 vsize=915484 CPUtime=0
/proc/31609/task/31612/stat : 31612 (java) S 31607 31609 31469 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 280665315 937455616 11152 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31609/tid=31613] ppid=31607 vsize=915484 CPUtime=0
/proc/31609/task/31613/stat : 31613 (java) S 31607 31609 31469 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280665315 937455616 11152 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31609/tid=31614] ppid=31607 vsize=915484 CPUtime=0
/proc/31609/task/31614/stat : 31614 (java) S 31607 31609 31469 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 280665318 937455616 11152 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31609/tid=31615] ppid=31607 vsize=915484 CPUtime=0.34
/proc/31609/task/31615/stat : 31615 (java) S 31607 31609 31469 0 -1 64 459 0 0 0 33 1 0 0 17 0 8 0 280665318 937455616 11152 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31609/tid=31616] ppid=31607 vsize=915484 CPUtime=0
/proc/31609/task/31616/stat : 31616 (java) S 31607 31609 31469 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280665318 937455616 11152 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31609/tid=31617] ppid=31607 vsize=915484 CPUtime=0
/proc/31609/task/31617/stat : 31617 (java) S 31607 31609 31469 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280665318 937455616 11152 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.98
Current children cumulated vsize (KiB) 915484
################
# More data... #
################
Current children cumulated CPU time (s) 2020.67
Current children cumulated vsize (KiB) 915484
[startup+2083.35 s]
/proc/loadavg: 1.99 1.97 1.98 3/94 31930
/proc/meminfo: memFree=1176344/2055920 swapFree=4180552/4192956
[pid=31609] ppid=31607 vsize=915484 CPUtime=2080.62
/proc/31609/stat : 31609 (java) R 31607 31609 31469 0 -1 0 11441 0 1 0 207970 92 0 0 25 0 8 0 280665311 937455616 11154 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074018526 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31609/statm: 228871 11154 2535 14 0 215341 0
[pid=31609/tid=31611] ppid=31607 vsize=915484 CPUtime=0.06
/proc/31609/task/31611/stat : 31611 (java) S 31607 31609 31469 0 -1 64 878 0 0 0 6 0 0 0 16 0 8 0 280665314 937455616 11154 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31609/tid=31612] ppid=31607 vsize=915484 CPUtime=0
/proc/31609/task/31612/stat : 31612 (java) S 31607 31609 31469 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 280665315 937455616 11154 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31609/tid=31613] ppid=31607 vsize=915484 CPUtime=0
/proc/31609/task/31613/stat : 31613 (java) S 31607 31609 31469 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280665315 937455616 11154 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31609/tid=31614] ppid=31607 vsize=915484 CPUtime=0
/proc/31609/task/31614/stat : 31614 (java) S 31607 31609 31469 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 280665318 937455616 11154 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31609/tid=31615] ppid=31607 vsize=915484 CPUtime=0.34
/proc/31609/task/31615/stat : 31615 (java) S 31607 31609 31469 0 -1 64 461 0 0 0 33 1 0 0 16 0 8 0 280665318 937455616 11154 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31609/tid=31616] ppid=31607 vsize=915484 CPUtime=0
/proc/31609/task/31616/stat : 31616 (java) S 31607 31609 31469 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280665318 937455616 11154 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31609/tid=31617] ppid=31607 vsize=915484 CPUtime=0
/proc/31609/task/31617/stat : 31617 (java) S 31607 31609 31469 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280665318 937455616 11154 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2080.62
Current children cumulated vsize (KiB) 915484
[startup+2143.36 s]
/proc/loadavg: 1.99 1.97 1.98 4/94 31930
/proc/meminfo: memFree=1176344/2055920 swapFree=4180552/4192956
[pid=31609] ppid=31607 vsize=915484 CPUtime=2140.55
/proc/31609/stat : 31609 (java) R 31607 31609 31469 0 -1 0 11441 0 1 0 213963 92 0 0 25 0 8 0 280665311 937455616 11154 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073924484 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31609/statm: 228871 11154 2535 14 0 215341 0
[pid=31609/tid=31611] ppid=31607 vsize=915484 CPUtime=0.06
/proc/31609/task/31611/stat : 31611 (java) S 31607 31609 31469 0 -1 64 878 0 0 0 6 0 0 0 16 0 8 0 280665314 937455616 11154 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31609/tid=31612] ppid=31607 vsize=915484 CPUtime=0
/proc/31609/task/31612/stat : 31612 (java) S 31607 31609 31469 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 280665315 937455616 11154 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31609/tid=31613] ppid=31607 vsize=915484 CPUtime=0
/proc/31609/task/31613/stat : 31613 (java) S 31607 31609 31469 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280665315 937455616 11154 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31609/tid=31614] ppid=31607 vsize=915484 CPUtime=0
/proc/31609/task/31614/stat : 31614 (java) S 31607 31609 31469 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 280665318 937455616 11154 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31609/tid=31615] ppid=31607 vsize=915484 CPUtime=0.34
/proc/31609/task/31615/stat : 31615 (java) S 31607 31609 31469 0 -1 64 461 0 0 0 33 1 0 0 16 0 8 0 280665318 937455616 11154 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31609/tid=31616] ppid=31607 vsize=915484 CPUtime=0
/proc/31609/task/31616/stat : 31616 (java) S 31607 31609 31469 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280665318 937455616 11154 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31609/tid=31617] ppid=31607 vsize=915484 CPUtime=0
/proc/31609/task/31617/stat : 31617 (java) S 31607 31609 31469 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280665318 937455616 11154 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2140.55
Current children cumulated vsize (KiB) 915484
[startup+2203.37 s]
/proc/loadavg: 1.99 1.97 1.98 3/94 31930
/proc/meminfo: memFree=1176344/2055920 swapFree=4180552/4192956
[pid=31609] ppid=31607 vsize=915484 CPUtime=2200.49
/proc/31609/stat : 31609 (java) R 31607 31609 31469 0 -1 0 11441 0 1 0 219957 92 0 0 25 0 8 0 280665311 937455616 11154 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074074985 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31609/statm: 228871 11154 2535 14 0 215341 0
[pid=31609/tid=31611] ppid=31607 vsize=915484 CPUtime=0.06
/proc/31609/task/31611/stat : 31611 (java) S 31607 31609 31469 0 -1 64 878 0 0 0 6 0 0 0 16 0 8 0 280665314 937455616 11154 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31609/tid=31612] ppid=31607 vsize=915484 CPUtime=0
/proc/31609/task/31612/stat : 31612 (java) S 31607 31609 31469 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 280665315 937455616 11154 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31609/tid=31613] ppid=31607 vsize=915484 CPUtime=0
/proc/31609/task/31613/stat : 31613 (java) S 31607 31609 31469 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280665315 937455616 11154 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31609/tid=31614] ppid=31607 vsize=915484 CPUtime=0
/proc/31609/task/31614/stat : 31614 (java) S 31607 31609 31469 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 280665318 937455616 11154 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31609/tid=31615] ppid=31607 vsize=915484 CPUtime=0.34
/proc/31609/task/31615/stat : 31615 (java) S 31607 31609 31469 0 -1 64 461 0 0 0 33 1 0 0 16 0 8 0 280665318 937455616 11154 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31609/tid=31616] ppid=31607 vsize=915484 CPUtime=0
/proc/31609/task/31616/stat : 31616 (java) S 31607 31609 31469 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280665318 937455616 11154 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31609/tid=31617] ppid=31607 vsize=915484 CPUtime=0
/proc/31609/task/31617/stat : 31617 (java) S 31607 31609 31469 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280665318 937455616 11154 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2200.49
Current children cumulated vsize (KiB) 915484
[startup+2263.38 s]
/proc/loadavg: 2.04 1.99 1.98 3/94 31930
/proc/meminfo: memFree=1176408/2055920 swapFree=4180552/4192956
[pid=31609] ppid=31607 vsize=915484 CPUtime=2260.45
/proc/31609/stat : 31609 (java) R 31607 31609 31469 0 -1 0 11441 0 1 0 225953 92 0 0 25 0 8 0 280665311 937455616 11154 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073924490 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31609/statm: 228871 11154 2535 14 0 215341 0
[pid=31609/tid=31611] ppid=31607 vsize=915484 CPUtime=0.06
/proc/31609/task/31611/stat : 31611 (java) S 31607 31609 31469 0 -1 64 878 0 0 0 6 0 0 0 16 0 8 0 280665314 937455616 11154 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31609/tid=31612] ppid=31607 vsize=915484 CPUtime=0
/proc/31609/task/31612/stat : 31612 (java) S 31607 31609 31469 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 280665315 937455616 11154 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31609/tid=31613] ppid=31607 vsize=915484 CPUtime=0
/proc/31609/task/31613/stat : 31613 (java) S 31607 31609 31469 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280665315 937455616 11154 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31609/tid=31614] ppid=31607 vsize=915484 CPUtime=0
/proc/31609/task/31614/stat : 31614 (java) S 31607 31609 31469 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 280665318 937455616 11154 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31609/tid=31615] ppid=31607 vsize=915484 CPUtime=0.34
/proc/31609/task/31615/stat : 31615 (java) S 31607 31609 31469 0 -1 64 461 0 0 0 33 1 0 0 16 0 8 0 280665318 937455616 11154 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31609/tid=31616] ppid=31607 vsize=915484 CPUtime=0
/proc/31609/task/31616/stat : 31616 (java) S 31607 31609 31469 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280665318 937455616 11154 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31609/tid=31617] ppid=31607 vsize=915484 CPUtime=0
/proc/31609/task/31617/stat : 31617 (java) S 31607 31609 31469 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280665318 937455616 11154 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2260.45
Current children cumulated vsize (KiB) 915484
[startup+2323.41 s]
/proc/loadavg: 2.01 1.99 1.98 3/94 31930
/proc/meminfo: memFree=1176408/2055920 swapFree=4180552/4192956
[pid=31609] ppid=31607 vsize=915484 CPUtime=2320.39
/proc/31609/stat : 31609 (java) R 31607 31609 31469 0 -1 0 11441 0 1 0 231947 92 0 0 25 0 8 0 280665311 937455616 11154 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074017328 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31609/statm: 228871 11154 2535 14 0 215341 0
[pid=31609/tid=31611] ppid=31607 vsize=915484 CPUtime=0.06
/proc/31609/task/31611/stat : 31611 (java) S 31607 31609 31469 0 -1 64 878 0 0 0 6 0 0 0 16 0 8 0 280665314 937455616 11154 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31609/tid=31612] ppid=31607 vsize=915484 CPUtime=0
/proc/31609/task/31612/stat : 31612 (java) S 31607 31609 31469 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 280665315 937455616 11154 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31609/tid=31613] ppid=31607 vsize=915484 CPUtime=0
/proc/31609/task/31613/stat : 31613 (java) S 31607 31609 31469 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280665315 937455616 11154 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31609/tid=31614] ppid=31607 vsize=915484 CPUtime=0
/proc/31609/task/31614/stat : 31614 (java) S 31607 31609 31469 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 280665318 937455616 11154 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31609/tid=31615] ppid=31607 vsize=915484 CPUtime=0.34
/proc/31609/task/31615/stat : 31615 (java) S 31607 31609 31469 0 -1 64 461 0 0 0 33 1 0 0 16 0 8 0 280665318 937455616 11154 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31609/tid=31616] ppid=31607 vsize=915484 CPUtime=0
/proc/31609/task/31616/stat : 31616 (java) S 31607 31609 31469 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280665318 937455616 11154 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31609/tid=31617] ppid=31607 vsize=915484 CPUtime=0
/proc/31609/task/31617/stat : 31617 (java) S 31607 31609 31469 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280665318 937455616 11154 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2320.39
Current children cumulated vsize (KiB) 915484
[startup+2383.46 s]
/proc/loadavg: 2.00 1.99 1.98 3/94 31930
/proc/meminfo: memFree=1176408/2055920 swapFree=4180552/4192956
[pid=31609] ppid=31607 vsize=915484 CPUtime=2380.38
/proc/31609/stat : 31609 (java) R 31607 31609 31469 0 -1 0 11441 0 1 0 237945 93 0 0 25 0 8 0 280665311 937455616 11154 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074017334 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31609/statm: 228871 11154 2535 14 0 215341 0
[pid=31609/tid=31611] ppid=31607 vsize=915484 CPUtime=0.06
/proc/31609/task/31611/stat : 31611 (java) S 31607 31609 31469 0 -1 64 878 0 0 0 6 0 0 0 16 0 8 0 280665314 937455616 11154 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31609/tid=31612] ppid=31607 vsize=915484 CPUtime=0
/proc/31609/task/31612/stat : 31612 (java) S 31607 31609 31469 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 280665315 937455616 11154 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31609/tid=31613] ppid=31607 vsize=915484 CPUtime=0
/proc/31609/task/31613/stat : 31613 (java) S 31607 31609 31469 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280665315 937455616 11154 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31609/tid=31614] ppid=31607 vsize=915484 CPUtime=0
/proc/31609/task/31614/stat : 31614 (java) S 31607 31609 31469 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 280665318 937455616 11154 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31609/tid=31615] ppid=31607 vsize=915484 CPUtime=0.34
/proc/31609/task/31615/stat : 31615 (java) S 31607 31609 31469 0 -1 64 461 0 0 0 33 1 0 0 16 0 8 0 280665318 937455616 11154 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31609/tid=31616] ppid=31607 vsize=915484 CPUtime=0
/proc/31609/task/31616/stat : 31616 (java) S 31607 31609 31469 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280665318 937455616 11154 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31609/tid=31617] ppid=31607 vsize=915484 CPUtime=0
/proc/31609/task/31617/stat : 31617 (java) S 31607 31609 31469 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280665318 937455616 11154 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2380.38
Current children cumulated vsize (KiB) 915484
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2403.12 s]
/proc/loadavg: 2.00 1.99 1.98 3/94 31930
/proc/meminfo: memFree=1176408/2055920 swapFree=4180552/4192956
[pid=31609] ppid=31607 vsize=915484 CPUtime=2400.04
/proc/31609/stat : 31609 (java) R 31607 31609 31469 0 -1 0 11441 0 1 0 239911 93 0 0 25 0 8 0 280665311 937455616 11154 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073924507 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31609/statm: 228871 11154 2535 14 0 215341 0
[pid=31609/tid=31611] ppid=31607 vsize=915484 CPUtime=0.06
/proc/31609/task/31611/stat : 31611 (java) S 31607 31609 31469 0 -1 64 878 0 0 0 6 0 0 0 16 0 8 0 280665314 937455616 11154 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31609/tid=31612] ppid=31607 vsize=915484 CPUtime=0
/proc/31609/task/31612/stat : 31612 (java) S 31607 31609 31469 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 280665315 937455616 11154 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31609/tid=31613] ppid=31607 vsize=915484 CPUtime=0
/proc/31609/task/31613/stat : 31613 (java) S 31607 31609 31469 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280665315 937455616 11154 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31609/tid=31614] ppid=31607 vsize=915484 CPUtime=0
/proc/31609/task/31614/stat : 31614 (java) S 31607 31609 31469 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 280665318 937455616 11154 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31609/tid=31615] ppid=31607 vsize=915484 CPUtime=0.34
/proc/31609/task/31615/stat : 31615 (java) S 31607 31609 31469 0 -1 64 461 0 0 0 33 1 0 0 16 0 8 0 280665318 937455616 11154 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31609/tid=31616] ppid=31607 vsize=915484 CPUtime=0
/proc/31609/task/31616/stat : 31616 (java) S 31607 31609 31469 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280665318 937455616 11154 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31609/tid=31617] ppid=31607 vsize=915484 CPUtime=0
/proc/31609/task/31617/stat : 31617 (java) S 31607 31609 31469 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280665318 937455616 11154 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2400.04
Current children cumulated vsize (KiB) 915484
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 2403.16
CPU time (s): 2400.08
CPU user time (s): 2399.14
CPU system time (s): 0.939857
CPU usage (%): 99.8717
Max. virtual memory (cumulated for all children) (KiB): 915588
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.14
system time used= 0.939857
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11461
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= 50037
involuntary context switches= 66877
runsolver used 2.86256 s user time and 7.79981 s system time
The end
Begin job on node2 on Sat Jan 20 19:51:37 UTC 2007
IDJOB= 282817
IDBENCH= 12895
IDSOLVER= 68
FILE ID= node2/282817-1169322697
PBS_JOBID= 3610095
Free space on /tmp= 66561 MiB
SOLVER NAME= AbsconMax 109 EPFC
BENCH NAME= HOME/pub/bench/CPAI06/MaxCSP/spot5/spot5-5_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/282817-1169322697/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node2/watcher-282817-1169322697 -o ROOT/results/node2/solver-282817-1169322697 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/282817-1169322697/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 38cec9c843ddb2f63f6b362a9311270e
RANDOM SEED= 659231308
TIME LIMIT= 2400 seconds
MEMORY LIMIT= 900 MiB
/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.259
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.259
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1191608 kB
Buffers: 50524 kB
Cached: 661204 kB
SwapCached: 572 kB
Active: 244024 kB
Inactive: 544428 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1191608 kB
SwapTotal: 4192956 kB
SwapFree: 4180552 kB
Dirty: 2380 kB
Writeback: 0 kB
Mapped: 98352 kB
Slab: 60344 kB
Committed_AS: 8848888 kB
PageTables: 2492 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= 66560 MiB
End job on node2 on Sat Jan 20 20:31:40 UTC 2007