0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=pfc.xml
0.35
0.35 instance
0.35 name=/tmp/evaluation/281954-1169316209/unknown.xml
0.38
0.38 domains being loaded...
0.38
0.38 variables being loaded...
0.45 nbVariables=257 nbDomainTypes=2 minDomainSize=1 maxDomainSize=2
0.45 => wckTime=0.133 cpuTime=0.11 mem=7M918
0.45
0.45 relations being loaded...
0.45
0.45 constraints being loaded...
0.89 nbConstraints=12032 nbRelationTypes=2 nbSingletonDomainVariables=1 nbExtensionStructures=2
0.89 nbSharedExtensionStructures=12030 nbConflictsStructures=2 nbSharedConflictsStructures=12030
0.89 nbSharedBinaryRepresentations=3 maxDegree=256 maxArity=2
0.89 => wckTime=0.574 cpuTime=0.43 mem=38M149
1.01
1.02 solver LocalSearchSolver being built...
1.06 => wckTime=0.744 cpuTime=0.47 mem=11M558
1.07
1.07 s SATISFIABLE
1.07 o 8835
1.07 c 3197
1.08 o 8888
1.08 c 3144
1.08 o 8941
1.08 c 3091
1.08 o 8993
1.08 c 3039
1.08 o 9043
1.08 c 2989
1.09 o 9092
1.09 c 2940
1.09 o 9141
1.09 c 2891
1.09 o 9189
1.10 c 2843
1.10 o 9237
1.10 c 2795
1.10 o 9283
1.10 c 2749
1.10 o 9329
1.10 c 2703
1.10 o 9374
1.10 c 2658
1.10 o 9419
1.10 c 2613
1.10 o 9464
1.10 c 2568
1.10 o 9508
1.10 c 2524
1.10 o 9552
1.10 c 2480
1.11 o 9596
1.11 c 2436
1.11 o 9639
1.11 c 2393
1.11 o 9682
1.11 c 2350
1.11 o 9724
1.11 c 2308
1.11 o 9766
1.11 c 2266
1.11 o 9808
1.11 c 2224
1.11 o 9849
1.11 c 2183
1.11 o 9890
1.11 c 2142
1.12 o 9931
1.12 c 2101
1.12 o 9972
1.12 c 2060
1.12 o 10013
1.12 c 2019
1.12 o 10053
1.12 c 1979
1.12 o 10093
1.12 c 1939
1.12 o 10132
1.12 c 1900
1.12 o 10171
1.12 c 1861
1.12 o 10210
1.12 c 1822
1.12 o 10249
1.12 c 1783
1.12 o 10287
1.12 c 1745
1.13 o 10325
1.13 c 1707
1.13 o 10362
1.13 c 1670
1.13 o 10399
1.13 c 1633
1.13 o 10436
1.13 c 1596
1.13 o 10472
1.13 c 1560
1.14 o 10508
1.14 c 1524
1.14 o 10544
1.14 c 1488
1.14 o 10579
1.14 c 1453
1.14 o 10614
1.14 c 1418
1.14 o 10648
1.14 c 1384
1.14 o 10682
1.14 c 1350
1.14 o 10716
1.14 c 1316
1.14 o 10749
1.14 c 1283
1.14 o 10782
1.14 c 1250
1.15 o 10815
1.15 c 1217
1.15 o 10848
1.15 c 1184
1.15 o 10880
1.15 c 1152
1.15 o 10912
1.15 c 1120
1.15 o 10944
1.15 c 1088
1.15 o 10976
1.15 c 1056
1.15 o 11007
1.15 c 1025
1.15 o 11038
1.15 c 994
1.15 o 11069
1.15 c 963
1.15 o 11099
1.15 c 933
1.15 o 11128
1.15 c 904
1.15 o 11157
1.15 c 875
1.15 o 11186
1.15 c 846
1.16 o 11214
1.16 c 818
1.16 o 11242
1.16 c 790
1.16 o 11269
1.16 c 763
1.16 o 11296
1.16 c 736
1.16 o 11322
1.16 c 710
1.16 o 11348
1.16 c 684
1.16 o 11373
1.16 c 659
1.16 o 11398
1.16 c 634
1.16 o 11421
1.16 c 611
1.16 o 11437
1.16 c 595
1.16 o 11453
1.16 c 579
1.16 o 11468
1.16 c 564
1.16 o 11483
1.16 c 549
1.16 o 11497
1.16 c 535
1.17 o 11511
1.17 c 521
1.17 o 11524
1.17 c 508
1.17 o 11537
1.17 c 495
1.17 o 11550
1.17 c 482
1.17 o 11562
1.17 c 470
1.17 o 11574
1.17 c 458
1.17 o 11585
1.17 c 447
1.17 o 11596
1.17 c 436
1.17 o 11606
1.17 c 426
1.17 o 11616
1.17 c 416
1.17 o 11626
1.17 c 406
1.17 o 11635
1.17 c 397
1.17 o 11644
1.17 c 388
1.17 o 11653
1.17 c 379
1.18 o 11661
1.18 c 371
1.18 o 11669
1.18 c 363
1.18 o 11677
1.18 c 355
1.18 o 11684
1.18 c 348
1.18 o 11691
1.18 c 341
1.18 o 11698
1.18 c 334
1.18 o 11705
1.18 c 327
1.18 o 11711
1.18 c 321
1.18 o 11717
1.18 c 315
1.18 o 11723
1.18 c 309
1.18 o 11728
1.18 c 304
1.18 o 11733
1.18 c 299
1.18 o 11738
1.18 c 294
1.18 o 11743
1.18 c 289
1.19 o 11748
1.19 c 284
1.19 o 11752
1.19 c 280
1.19 o 11756
1.19 c 276
1.19 o 11760
1.19 c 272
1.19 o 11763
1.19 c 269
1.19 o 11766
1.19 c 266
1.19 o 11769
1.19 c 263
1.19 o 11772
1.19 c 260
1.19 o 11775
1.19 c 257
1.19 o 11777
1.19 c 255
1.19 o 11779
1.19 c 253
1.19 o 11781
1.19 c 251
1.19 o 11783
1.20 c 249
1.20 o 11785
1.20 c 247
1.20 o 11786
1.20 c 246
1.20 o 11787
1.20 c 245
1.21 o 11788
1.21 c 244
1.21 o 11789
1.21 c 243
31.50
31.50 search
31.50 run=0 nbConstraintChecks=89825151 nbAssignments=7005
31.50 => wckTime=30.448 cpuTime=30.14 mem=11M558
31.51
31.51 global
31.51 nbConstraintChecks=89825151 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
31.51 solvingWckTime=30.445 solvingCpuTime=30.14 expiredTime=no totalExploration=no nbFoundSolutions=0
31.51 globalCpuTime=30.67
31.51 => wckTime=31.192 cpuTime=30.61 mem=11M558
31.51
31.51 solver IterativeSystematicSolver being built...
31.66 => wckTime=31.35 cpuTime=30.73 mem=23M571
31.71
31.71 preprocessing
31.71 nbConstraintChecks=512 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
31.71 detectedInconsistency=no
31.71 => wckTime=0.041 cpuTime=0.02 mem=23M571
35.27
35.27 search
35.27 run=0 nbConstraintChecks=886246 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=37
35.27 nbFailedAssignments=21 nbBacktracks=10 nbVisitedNodes=69 nbRestartNogoods=0
35.27 => wckTime=3.599 cpuTime=3.51 mem=24M545
39.81
39.81 search
39.81 run=1 nbConstraintChecks=2032912 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=88
39.81 nbFailedAssignments=52 nbBacktracks=25 nbVisitedNodes=166 nbRestartNogoods=5
39.81 => wckTime=8.144 cpuTime=8.0 mem=24M545
47.61
47.61 search
47.61 run=2 nbConstraintChecks=3920993 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=184
47.61 nbFailedAssignments=121 nbBacktracks=47 nbVisitedNodes=353 nbRestartNogoods=7
47.61 => wckTime=15.948 cpuTime=15.74 mem=24M545
61.88
61.88 search
61.88 run=3 nbConstraintChecks=7241218 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=327
61.88 nbFailedAssignments=225 nbBacktracks=80 nbVisitedNodes=633 nbRestartNogoods=17
61.88 => wckTime=30.214 cpuTime=29.87 mem=24M545
81.09
81.09 search
81.09 run=4 nbConstraintChecks=12157433 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=531
81.09 nbFailedAssignments=373 nbBacktracks=130 nbVisitedNodes=1035 nbRestartNogoods=29
81.09 => wckTime=49.419 cpuTime=48.9 mem=24M545
106.41
106.41 search
106.41 run=5 nbConstraintChecks=18235125 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=790
106.41 nbFailedAssignments=551 nbBacktracks=205 nbVisitedNodes=1547 nbRestartNogoods=39
106.41 => wckTime=74.742 cpuTime=74.0 mem=24M545
141.86
141.86 search
141.86 run=6 nbConstraintChecks=26676906 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1148
141.86 nbFailedAssignments=790 nbBacktracks=318 nbVisitedNodes=2257 nbRestartNogoods=47
141.86 => wckTime=110.191 cpuTime=109.11 mem=24M545
152.32
152.32 search
152.32 run=7 nbConstraintChecks=31535303 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1473
152.32 nbFailedAssignments=891 nbBacktracks=490 nbVisitedNodes=2855 nbRestartNogoods=62
152.32 => wckTime=120.659 cpuTime=119.48 mem=24M545
242.72
242.72 search
242.72 run=8 nbConstraintChecks=54690285 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2410
242.72 nbFailedAssignments=1560 nbBacktracks=746 nbVisitedNodes=4717 nbRestartNogoods=83
242.72 => wckTime=211.054 cpuTime=209.03 mem=24M545
264.45
264.45 search
264.45 run=9 nbConstraintChecks=69778491 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2938
264.45 nbFailedAssignments=1625 nbBacktracks=1137 nbVisitedNodes=5697 nbRestartNogoods=94
264.45 => wckTime=232.781 cpuTime=230.56 mem=24M545
302.13
302.14 search
302.14 run=10 nbConstraintChecks=87086354 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=3893
302.14 nbFailedAssignments=1992 nbBacktracks=1715 nbVisitedNodes=7597 nbRestartNogoods=106
302.14 => wckTime=270.469 cpuTime=267.91 mem=24M545
343.43
343.43 search
343.43 run=11 nbConstraintChecks=113838047 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=5008
343.43 nbFailedAssignments=2218 nbBacktracks=2579 nbVisitedNodes=9802 nbRestartNogoods=125
343.43 => wckTime=311.759 cpuTime=308.83 mem=24M545
421.83
421.83 search
421.83 run=12 nbConstraintChecks=156308231 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=7004
421.83 nbFailedAssignments=2871 nbBacktracks=3876 nbVisitedNodes=13748 nbRestartNogoods=146
421.83 => wckTime=390.167 cpuTime=386.86 mem=24M545
518.35
518.35 search
518.35 run=13 nbConstraintChecks=215470382 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=9518
518.35 nbFailedAssignments=3431 nbBacktracks=5822 nbVisitedNodes=18768 nbRestartNogoods=176
518.35 => wckTime=486.689 cpuTime=482.93 mem=24M545
616.11
616.11 search
616.11 run=14 nbConstraintChecks=306880605 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=12806
616.11 nbFailedAssignments=3720 nbBacktracks=8783 nbVisitedNodes=25301 nbRestartNogoods=190
616.11 => wckTime=584.446 cpuTime=580.23 mem=24M545
841.22
841.22 search
841.22 run=15 nbConstraintChecks=450463654 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=18534
841.22 nbFailedAssignments=5048 nbBacktracks=13170 nbVisitedNodes=36744 nbRestartNogoods=201
841.22 => wckTime=809.55 cpuTime=804.28 mem=24M545
1124.85
1124.85 search
1124.85 run=16 nbConstraintChecks=670378436 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=26477
1124.85 nbFailedAssignments=6369 nbBacktracks=19739 nbVisitedNodes=52577 nbRestartNogoods=208
1124.85 => wckTime=1093.186 cpuTime=1086.58 mem=24M545
1784.91
1784.91 search
1784.91 run=17 nbConstraintChecks=1085704475 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=39518
1784.91 nbFailedAssignments=9518 nbBacktracks=29594 nbVisitedNodes=78622 nbRestartNogoods=219
1784.91 => wckTime=1753.24 cpuTime=1743.22 mem=24M545
2413.68 v 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 -1
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node18/watcher-281954-1169316209 -o ROOT/results/node18/solver-281954-1169316209 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/281954-1169316209/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.95 1.98 1.99 2/87 24858
/proc/meminfo: memFree=1259320/2055920 swapFree=4192812/4192956
[pid=24857] ppid=24855 vsize=18540 CPUtime=0
/proc/24857/stat : 24857 (runsolver) R 24855 24857 22939 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 280015652 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 227848809767 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/24857/statm: 4635 279 244 17 0 2626 0
[startup+0.102443 s]
/proc/loadavg: 1.95 1.98 1.99 2/87 24858
/proc/meminfo: memFree=1259320/2055920 swapFree=4192812/4192956
[pid=24857] ppid=24855 vsize=914988 CPUtime=0.08
/proc/24857/stat : 24857 (java) R 24855 24857 22939 0 -1 0 2994 0 1 0 7 1 0 0 17 0 8 0 280015652 936947712 2740 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072929100 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24857/statm: 228747 2740 1427 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.511483 s]
/proc/loadavg: 1.95 1.98 1.99 2/87 24858
/proc/meminfo: memFree=1259320/2055920 swapFree=4192812/4192956
[pid=24857] ppid=24855 vsize=915332 CPUtime=0.49
/proc/24857/stat : 24857 (java) S 24855 24857 22939 0 -1 0 6341 0 1 0 44 5 0 0 17 0 8 0 280015652 937299968 6080 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24857/statm: 228833 6080 2140 14 0 215303 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915332
[startup+1.34057 s]
/proc/loadavg: 1.95 1.98 1.99 4/94 24865
/proc/meminfo: memFree=1206656/2055920 swapFree=4192812/4192956
[pid=24857] ppid=24855 vsize=915680 CPUtime=1.3
/proc/24857/stat : 24857 (java) R 24855 24857 22939 0 -1 0 15822 0 1 0 118 12 0 0 18 0 8 0 280015652 937656320 15560 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073853353 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24857/statm: 228920 15560 2476 14 0 215390 0
[pid=24857/tid=24859] ppid=24855 vsize=915680 CPUtime=0.1
/proc/24857/task/24859/stat : 24859 (java) S 24855 24857 22939 0 -1 64 1662 0 0 0 10 0 0 0 16 0 8 0 280015656 937656320 15560 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24857/tid=24860] ppid=24855 vsize=915680 CPUtime=0
/proc/24857/task/24860/stat : 24860 (java) S 24855 24857 22939 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 280015656 937656320 15560 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24857/tid=24861] ppid=24855 vsize=915680 CPUtime=0
/proc/24857/task/24861/stat : 24861 (java) S 24855 24857 22939 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 280015656 937656320 15560 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24857/tid=24862] ppid=24855 vsize=915680 CPUtime=0
/proc/24857/task/24862/stat : 24862 (java) S 24855 24857 22939 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 280015659 937656320 15560 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24857/tid=24863] ppid=24855 vsize=915680 CPUtime=0.21
/proc/24857/task/24863/stat : 24863 (java) R 24855 24857 22939 0 -1 64 431 0 0 0 20 1 0 0 20 0 8 0 280015660 937656320 15560 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24857/tid=24864] ppid=24855 vsize=915680 CPUtime=0
/proc/24857/task/24864/stat : 24864 (java) S 24855 24857 22939 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280015660 937656320 15560 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24857/tid=24865] ppid=24855 vsize=915680 CPUtime=0
/proc/24857/task/24865/stat : 24865 (java) S 24855 24857 22939 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280015660 937656320 15560 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) 915680
[startup+2.98472 s]
/proc/loadavg: 2.03 2.00 2.00 3/94 24865
/proc/meminfo: memFree=1206592/2055920 swapFree=4192812/4192956
[pid=24857] ppid=24855 vsize=915680 CPUtime=2.93
/proc/24857/stat : 24857 (java) R 24855 24857 22939 0 -1 0 15823 0 1 0 275 18 0 0 25 0 8 0 280015652 937656320 15560 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073860854 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24857/statm: 228920 15560 2476 14 0 215390 0
[pid=24857/tid=24859] ppid=24855 vsize=915680 CPUtime=0.1
/proc/24857/task/24859/stat : 24859 (java) S 24855 24857 22939 0 -1 64 1662 0 0 0 10 0 0 0 17 0 8 0 280015656 937656320 15560 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24857/tid=24860] ppid=24855 vsize=915680 CPUtime=0
/proc/24857/task/24860/stat : 24860 (java) S 24855 24857 22939 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 280015656 937656320 15560 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24857/tid=24861] ppid=24855 vsize=915680 CPUtime=0
/proc/24857/task/24861/stat : 24861 (java) S 24855 24857 22939 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 280015656 937656320 15560 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24857/tid=24862] ppid=24855 vsize=915680 CPUtime=0
/proc/24857/task/24862/stat : 24862 (java) S 24855 24857 22939 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 280015659 937656320 15560 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24857/tid=24863] ppid=24855 vsize=915680 CPUtime=0.21
/proc/24857/task/24863/stat : 24863 (java) S 24855 24857 22939 0 -1 64 431 0 0 0 20 1 0 0 20 0 8 0 280015660 937656320 15560 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24857/tid=24864] ppid=24855 vsize=915680 CPUtime=0
/proc/24857/task/24864/stat : 24864 (java) S 24855 24857 22939 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280015660 937656320 15560 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24857/tid=24865] ppid=24855 vsize=915680 CPUtime=0
/proc/24857/task/24865/stat : 24865 (java) S 24855 24857 22939 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280015660 937656320 15560 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915680
[startup+6.26404 s]
/proc/loadavg: 2.03 2.00 2.00 3/94 24865
/proc/meminfo: memFree=1206528/2055920 swapFree=4192812/4192956
[pid=24857] ppid=24855 vsize=915680 CPUtime=6.18
/proc/24857/stat : 24857 (java) R 24855 24857 22939 0 -1 0 15827 0 1 0 594 24 0 0 25 0 8 0 280015652 937656320 15564 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073853379 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24857/statm: 228920 15564 2476 14 0 215390 0
[pid=24857/tid=24859] ppid=24855 vsize=915680 CPUtime=0.1
/proc/24857/task/24859/stat : 24859 (java) S 24855 24857 22939 0 -1 64 1662 0 0 0 10 0 0 0 16 0 8 0 280015656 937656320 15564 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24857/tid=24860] ppid=24855 vsize=915680 CPUtime=0
/proc/24857/task/24860/stat : 24860 (java) S 24855 24857 22939 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 280015656 937656320 15564 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24857/tid=24861] ppid=24855 vsize=915680 CPUtime=0
/proc/24857/task/24861/stat : 24861 (java) S 24855 24857 22939 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 280015656 937656320 15564 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24857/tid=24862] ppid=24855 vsize=915680 CPUtime=0
/proc/24857/task/24862/stat : 24862 (java) S 24855 24857 22939 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 280015659 937656320 15564 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24857/tid=24863] ppid=24855 vsize=915680 CPUtime=0.22
/proc/24857/task/24863/stat : 24863 (java) S 24855 24857 22939 0 -1 64 435 0 0 0 21 1 0 0 16 0 8 0 280015660 937656320 15564 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24857/tid=24864] ppid=24855 vsize=915680 CPUtime=0
/proc/24857/task/24864/stat : 24864 (java) S 24855 24857 22939 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280015660 937656320 15564 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24857/tid=24865] ppid=24855 vsize=915680 CPUtime=0
/proc/24857/task/24865/stat : 24865 (java) S 24855 24857 22939 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280015660 937656320 15564 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 915680
[startup+12.6647 s]
/proc/loadavg: 2.03 2.00 2.00 3/94 24865
/proc/meminfo: memFree=1206664/2055920 swapFree=4192812/4192956
[pid=24857] ppid=24855 vsize=915680 CPUtime=12.52
/proc/24857/stat : 24857 (java) R 24855 24857 22939 0 -1 0 15827 0 1 0 1216 36 0 0 25 0 8 0 280015652 937656320 15564 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073860852 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24857/statm: 228920 15564 2476 14 0 215390 0
[pid=24857/tid=24859] ppid=24855 vsize=915680 CPUtime=0.1
/proc/24857/task/24859/stat : 24859 (java) S 24855 24857 22939 0 -1 64 1662 0 0 0 10 0 0 0 16 0 8 0 280015656 937656320 15564 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24857/tid=24860] ppid=24855 vsize=915680 CPUtime=0
/proc/24857/task/24860/stat : 24860 (java) S 24855 24857 22939 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 280015656 937656320 15564 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24857/tid=24861] ppid=24855 vsize=915680 CPUtime=0
/proc/24857/task/24861/stat : 24861 (java) S 24855 24857 22939 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 280015656 937656320 15564 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24857/tid=24862] ppid=24855 vsize=915680 CPUtime=0
/proc/24857/task/24862/stat : 24862 (java) S 24855 24857 22939 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 280015659 937656320 15564 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24857/tid=24863] ppid=24855 vsize=915680 CPUtime=0.22
/proc/24857/task/24863/stat : 24863 (java) S 24855 24857 22939 0 -1 64 435 0 0 0 21 1 0 0 17 0 8 0 280015660 937656320 15564 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24857/tid=24864] ppid=24855 vsize=915680 CPUtime=0
/proc/24857/task/24864/stat : 24864 (java) S 24855 24857 22939 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280015660 937656320 15564 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24857/tid=24865] ppid=24855 vsize=915680 CPUtime=0
/proc/24857/task/24865/stat : 24865 (java) S 24855 24857 22939 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280015660 937656320 15564 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.52
Current children cumulated vsize (KiB) 915680
[startup+25.5259 s]
/proc/loadavg: 2.02 2.00 2.00 3/94 24865
/proc/meminfo: memFree=1206728/2055920 swapFree=4192812/4192956
[pid=24857] ppid=24855 vsize=915680 CPUtime=25.27
/proc/24857/stat : 24857 (java) R 24855 24857 22939 0 -1 0 15827 0 1 0 2468 59 0 0 25 0 8 0 280015652 937656320 15564 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073853236 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24857/statm: 228920 15564 2476 14 0 215390 0
[pid=24857/tid=24859] ppid=24855 vsize=915680 CPUtime=0.1
/proc/24857/task/24859/stat : 24859 (java) S 24855 24857 22939 0 -1 64 1662 0 0 0 10 0 0 0 16 0 8 0 280015656 937656320 15564 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24857/tid=24860] ppid=24855 vsize=915680 CPUtime=0
/proc/24857/task/24860/stat : 24860 (java) S 24855 24857 22939 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 280015656 937656320 15564 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24857/tid=24861] ppid=24855 vsize=915680 CPUtime=0
/proc/24857/task/24861/stat : 24861 (java) S 24855 24857 22939 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 280015656 937656320 15564 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24857/tid=24862] ppid=24855 vsize=915680 CPUtime=0
/proc/24857/task/24862/stat : 24862 (java) S 24855 24857 22939 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 280015659 937656320 15564 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24857/tid=24863] ppid=24855 vsize=915680 CPUtime=0.22
/proc/24857/task/24863/stat : 24863 (java) S 24855 24857 22939 0 -1 64 435 0 0 0 21 1 0 0 17 0 8 0 280015660 937656320 15564 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24857/tid=24864] ppid=24855 vsize=915680 CPUtime=0
/proc/24857/task/24864/stat : 24864 (java) S 24855 24857 22939 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280015660 937656320 15564 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24857/tid=24865] ppid=24855 vsize=915680 CPUtime=0
/proc/24857/task/24865/stat : 24865 (java) S 24855 24857 22939 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280015660 937656320 15564 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.27
Current children cumulated vsize (KiB) 915680
[startup+51.1644 s]
/proc/loadavg: 2.01 2.00 2.00 4/94 24865
/proc/meminfo: memFree=1206344/2055920 swapFree=4192812/4192956
[pid=24857] ppid=24855 vsize=915680 CPUtime=50.66
/proc/24857/stat : 24857 (java) R 24855 24857 22939 0 -1 0 15976 0 1 0 4995 71 0 0 25 0 8 0 280015652 937656320 15708 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073965895 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24857/statm: 228920 15708 2529 14 0 215390 0
[pid=24857/tid=24859] ppid=24855 vsize=915680 CPUtime=0.1
/proc/24857/task/24859/stat : 24859 (java) S 24855 24857 22939 0 -1 64 1663 0 0 0 10 0 0 0 16 0 8 0 280015656 937656320 15708 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24857/tid=24860] ppid=24855 vsize=915680 CPUtime=0
/proc/24857/task/24860/stat : 24860 (java) S 24855 24857 22939 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 280015656 937656320 15708 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24857/tid=24861] ppid=24855 vsize=915680 CPUtime=0
/proc/24857/task/24861/stat : 24861 (java) S 24855 24857 22939 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 280015656 937656320 15708 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24857/tid=24862] ppid=24855 vsize=915680 CPUtime=0
/proc/24857/task/24862/stat : 24862 (java) S 24855 24857 22939 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 280015659 937656320 15708 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24857/tid=24863] ppid=24855 vsize=915680 CPUtime=0.31
/proc/24857/task/24863/stat : 24863 (java) S 24855 24857 22939 0 -1 64 482 0 0 0 30 1 0 0 16 0 8 0 280015660 937656320 15708 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24857/tid=24864] ppid=24855 vsize=915680 CPUtime=0
/proc/24857/task/24864/stat : 24864 (java) S 24855 24857 22939 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280015660 937656320 15708 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24857/tid=24865] ppid=24855 vsize=915680 CPUtime=0
/proc/24857/task/24865/stat : 24865 (java) S 24855 24857 22939 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280015660 937656320 15708 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.66
Current children cumulated vsize (KiB) 915680
[startup+102.452 s]
/proc/loadavg: 2.00 2.00 2.00 4/94 24865
/proc/meminfo: memFree=1206408/2055920 swapFree=4192812/4192956
[pid=24857] ppid=24855 vsize=915680 CPUtime=101.49
/proc/24857/stat : 24857 (java) R 24855 24857 22939 0 -1 0 15978 0 1 0 10077 72 0 0 25 0 8 0 280015652 937656320 15710 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074007664 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24857/statm: 228920 15710 2529 14 0 215390 0
[pid=24857/tid=24859] ppid=24855 vsize=915680 CPUtime=0.1
/proc/24857/task/24859/stat : 24859 (java) S 24855 24857 22939 0 -1 64 1663 0 0 0 10 0 0 0 16 0 8 0 280015656 937656320 15710 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24857/tid=24860] ppid=24855 vsize=915680 CPUtime=0
/proc/24857/task/24860/stat : 24860 (java) S 24855 24857 22939 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 280015656 937656320 15710 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24857/tid=24861] ppid=24855 vsize=915680 CPUtime=0
/proc/24857/task/24861/stat : 24861 (java) S 24855 24857 22939 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 280015656 937656320 15710 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24857/tid=24862] ppid=24855 vsize=915680 CPUtime=0
/proc/24857/task/24862/stat : 24862 (java) S 24855 24857 22939 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 280015659 937656320 15710 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24857/tid=24863] ppid=24855 vsize=915680 CPUtime=0.31
/proc/24857/task/24863/stat : 24863 (java) S 24855 24857 22939 0 -1 64 484 0 0 0 30 1 0 0 17 0 8 0 280015660 937656320 15710 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24857/tid=24864] ppid=24855 vsize=915680 CPUtime=0
/proc/24857/task/24864/stat : 24864 (java) S 24855 24857 22939 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280015660 937656320 15710 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24857/tid=24865] ppid=24855 vsize=915680 CPUtime=0
/proc/24857/task/24865/stat : 24865 (java) S 24855 24857 22939 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280015660 937656320 15710 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.49
Current children cumulated vsize (KiB) 915680
[startup+162.46 s]
/proc/loadavg: 2.00 2.00 2.00 3/94 24865
/proc/meminfo: memFree=1206408/2055920 swapFree=4192812/4192956
[pid=24857] ppid=24855 vsize=915680 CPUtime=160.95
/proc/24857/stat : 24857 (java) R 24855 24857 22939 0 -1 0 15998 0 1 0 16022 73 0 0 25 0 8 0 280015652 937656320 15721 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074005878 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 2012.64
Current children cumulated vsize (KiB) 915680
[startup+2084.25 s]
/proc/loadavg: 2.05 2.02 2.00 3/94 24965
/proc/meminfo: memFree=1152784/2055920 swapFree=4192812/4192956
[pid=24857] ppid=24855 vsize=915680 CPUtime=2072.4
/proc/24857/stat : 24857 (java) R 24855 24857 22939 0 -1 0 16011 0 1 0 207154 86 0 0 25 0 8 0 280015652 937656320 15728 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074005875 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24857/statm: 228920 15728 2529 14 0 215390 0
[pid=24857/tid=24859] ppid=24855 vsize=915680 CPUtime=0.1
/proc/24857/task/24859/stat : 24859 (java) S 24855 24857 22939 0 -1 64 1663 0 0 0 10 0 0 0 16 0 8 0 280015656 937656320 15728 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24857/tid=24860] ppid=24855 vsize=915680 CPUtime=0
/proc/24857/task/24860/stat : 24860 (java) S 24855 24857 22939 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 280015656 937656320 15728 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24857/tid=24861] ppid=24855 vsize=915680 CPUtime=0
/proc/24857/task/24861/stat : 24861 (java) S 24855 24857 22939 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 280015656 937656320 15728 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24857/tid=24862] ppid=24855 vsize=915680 CPUtime=0
/proc/24857/task/24862/stat : 24862 (java) S 24855 24857 22939 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 280015659 937656320 15728 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24857/tid=24863] ppid=24855 vsize=915680 CPUtime=0.36
/proc/24857/task/24863/stat : 24863 (java) S 24855 24857 22939 0 -1 64 513 0 0 0 34 2 0 0 16 0 8 0 280015660 937656320 15728 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24857/tid=24864] ppid=24855 vsize=915680 CPUtime=0
/proc/24857/task/24864/stat : 24864 (java) S 24855 24857 22939 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280015660 937656320 15728 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24857/tid=24865] ppid=24855 vsize=915680 CPUtime=0
/proc/24857/task/24865/stat : 24865 (java) S 24855 24857 22939 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280015660 937656320 15728 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2072.4
Current children cumulated vsize (KiB) 915680
[startup+2144.33 s]
/proc/loadavg: 2.02 2.02 2.00 3/94 24965
/proc/meminfo: memFree=1152848/2055920 swapFree=4192812/4192956
[pid=24857] ppid=24855 vsize=915680 CPUtime=2132.13
/proc/24857/stat : 24857 (java) R 24855 24857 22939 0 -1 0 16011 0 1 0 213127 86 0 0 25 0 8 0 280015652 937656320 15728 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074005881 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24857/statm: 228920 15728 2529 14 0 215390 0
[pid=24857/tid=24859] ppid=24855 vsize=915680 CPUtime=0.1
/proc/24857/task/24859/stat : 24859 (java) S 24855 24857 22939 0 -1 64 1663 0 0 0 10 0 0 0 16 0 8 0 280015656 937656320 15728 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24857/tid=24860] ppid=24855 vsize=915680 CPUtime=0
/proc/24857/task/24860/stat : 24860 (java) S 24855 24857 22939 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 280015656 937656320 15728 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24857/tid=24861] ppid=24855 vsize=915680 CPUtime=0
/proc/24857/task/24861/stat : 24861 (java) S 24855 24857 22939 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 280015656 937656320 15728 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24857/tid=24862] ppid=24855 vsize=915680 CPUtime=0
/proc/24857/task/24862/stat : 24862 (java) S 24855 24857 22939 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 280015659 937656320 15728 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24857/tid=24863] ppid=24855 vsize=915680 CPUtime=0.36
/proc/24857/task/24863/stat : 24863 (java) S 24855 24857 22939 0 -1 64 513 0 0 0 34 2 0 0 16 0 8 0 280015660 937656320 15728 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24857/tid=24864] ppid=24855 vsize=915680 CPUtime=0
/proc/24857/task/24864/stat : 24864 (java) S 24855 24857 22939 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280015660 937656320 15728 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24857/tid=24865] ppid=24855 vsize=915680 CPUtime=0
/proc/24857/task/24865/stat : 24865 (java) S 24855 24857 22939 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280015660 937656320 15728 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2132.13
Current children cumulated vsize (KiB) 915680
[startup+2204.42 s]
/proc/loadavg: 2.00 2.01 2.00 3/94 24965
/proc/meminfo: memFree=1152784/2055920 swapFree=4192812/4192956
[pid=24857] ppid=24855 vsize=915680 CPUtime=2191.9
/proc/24857/stat : 24857 (java) R 24855 24857 22939 0 -1 0 16011 0 1 0 219104 86 0 0 25 0 8 0 280015652 937656320 15728 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074005916 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24857/statm: 228920 15728 2529 14 0 215390 0
[pid=24857/tid=24859] ppid=24855 vsize=915680 CPUtime=0.1
/proc/24857/task/24859/stat : 24859 (java) S 24855 24857 22939 0 -1 64 1663 0 0 0 10 0 0 0 16 0 8 0 280015656 937656320 15728 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24857/tid=24860] ppid=24855 vsize=915680 CPUtime=0
/proc/24857/task/24860/stat : 24860 (java) S 24855 24857 22939 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 280015656 937656320 15728 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24857/tid=24861] ppid=24855 vsize=915680 CPUtime=0
/proc/24857/task/24861/stat : 24861 (java) S 24855 24857 22939 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 280015656 937656320 15728 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24857/tid=24862] ppid=24855 vsize=915680 CPUtime=0
/proc/24857/task/24862/stat : 24862 (java) S 24855 24857 22939 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 280015659 937656320 15728 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24857/tid=24863] ppid=24855 vsize=915680 CPUtime=0.36
/proc/24857/task/24863/stat : 24863 (java) S 24855 24857 22939 0 -1 64 513 0 0 0 34 2 0 0 16 0 8 0 280015660 937656320 15728 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24857/tid=24864] ppid=24855 vsize=915680 CPUtime=0
/proc/24857/task/24864/stat : 24864 (java) S 24855 24857 22939 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280015660 937656320 15728 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24857/tid=24865] ppid=24855 vsize=915680 CPUtime=0
/proc/24857/task/24865/stat : 24865 (java) S 24855 24857 22939 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280015660 937656320 15728 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2191.9
Current children cumulated vsize (KiB) 915680
[startup+2264.5 s]
/proc/loadavg: 2.03 2.02 2.00 3/94 24965
/proc/meminfo: memFree=1152848/2055920 swapFree=4192812/4192956
[pid=24857] ppid=24855 vsize=915680 CPUtime=2251.66
/proc/24857/stat : 24857 (java) R 24855 24857 22939 0 -1 0 16011 0 1 0 225080 86 0 0 25 0 8 0 280015652 937656320 15728 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074005919 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24857/statm: 228920 15728 2529 14 0 215390 0
[pid=24857/tid=24859] ppid=24855 vsize=915680 CPUtime=0.1
/proc/24857/task/24859/stat : 24859 (java) S 24855 24857 22939 0 -1 64 1663 0 0 0 10 0 0 0 16 0 8 0 280015656 937656320 15728 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24857/tid=24860] ppid=24855 vsize=915680 CPUtime=0
/proc/24857/task/24860/stat : 24860 (java) S 24855 24857 22939 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 280015656 937656320 15728 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24857/tid=24861] ppid=24855 vsize=915680 CPUtime=0
/proc/24857/task/24861/stat : 24861 (java) S 24855 24857 22939 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 280015656 937656320 15728 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24857/tid=24862] ppid=24855 vsize=915680 CPUtime=0
/proc/24857/task/24862/stat : 24862 (java) S 24855 24857 22939 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 280015659 937656320 15728 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24857/tid=24863] ppid=24855 vsize=915680 CPUtime=0.36
/proc/24857/task/24863/stat : 24863 (java) S 24855 24857 22939 0 -1 64 513 0 0 0 34 2 0 0 16 0 8 0 280015660 937656320 15728 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24857/tid=24864] ppid=24855 vsize=915680 CPUtime=0
/proc/24857/task/24864/stat : 24864 (java) S 24855 24857 22939 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280015660 937656320 15728 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24857/tid=24865] ppid=24855 vsize=915680 CPUtime=0
/proc/24857/task/24865/stat : 24865 (java) S 24855 24857 22939 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280015660 937656320 15728 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2251.66
Current children cumulated vsize (KiB) 915680
[startup+2324.58 s]
/proc/loadavg: 2.01 2.02 2.00 3/94 24965
/proc/meminfo: memFree=1152784/2055920 swapFree=4192812/4192956
[pid=24857] ppid=24855 vsize=915680 CPUtime=2311.4
/proc/24857/stat : 24857 (java) R 24855 24857 22939 0 -1 0 16011 0 1 0 231054 86 0 0 25 0 8 0 280015652 937656320 15728 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074005878 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24857/statm: 228920 15728 2529 14 0 215390 0
[pid=24857/tid=24859] ppid=24855 vsize=915680 CPUtime=0.1
/proc/24857/task/24859/stat : 24859 (java) S 24855 24857 22939 0 -1 64 1663 0 0 0 10 0 0 0 16 0 8 0 280015656 937656320 15728 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24857/tid=24860] ppid=24855 vsize=915680 CPUtime=0
/proc/24857/task/24860/stat : 24860 (java) S 24855 24857 22939 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 280015656 937656320 15728 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24857/tid=24861] ppid=24855 vsize=915680 CPUtime=0
/proc/24857/task/24861/stat : 24861 (java) S 24855 24857 22939 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 280015656 937656320 15728 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24857/tid=24862] ppid=24855 vsize=915680 CPUtime=0
/proc/24857/task/24862/stat : 24862 (java) S 24855 24857 22939 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 280015659 937656320 15728 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24857/tid=24863] ppid=24855 vsize=915680 CPUtime=0.36
/proc/24857/task/24863/stat : 24863 (java) S 24855 24857 22939 0 -1 64 513 0 0 0 34 2 0 0 16 0 8 0 280015660 937656320 15728 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24857/tid=24864] ppid=24855 vsize=915680 CPUtime=0
/proc/24857/task/24864/stat : 24864 (java) S 24855 24857 22939 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280015660 937656320 15728 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24857/tid=24865] ppid=24855 vsize=915680 CPUtime=0
/proc/24857/task/24865/stat : 24865 (java) S 24855 24857 22939 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280015660 937656320 15728 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2311.4
Current children cumulated vsize (KiB) 915680
[startup+2384.66 s]
/proc/loadavg: 2.00 2.01 2.00 3/94 24965
/proc/meminfo: memFree=1152848/2055920 swapFree=4192812/4192956
[pid=24857] ppid=24855 vsize=915680 CPUtime=2371.16
/proc/24857/stat : 24857 (java) R 24855 24857 22939 0 -1 0 16011 0 1 0 237030 86 0 0 25 0 8 0 280015652 937656320 15728 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074005875 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24857/statm: 228920 15728 2529 14 0 215390 0
[pid=24857/tid=24859] ppid=24855 vsize=915680 CPUtime=0.1
/proc/24857/task/24859/stat : 24859 (java) S 24855 24857 22939 0 -1 64 1663 0 0 0 10 0 0 0 16 0 8 0 280015656 937656320 15728 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24857/tid=24860] ppid=24855 vsize=915680 CPUtime=0
/proc/24857/task/24860/stat : 24860 (java) S 24855 24857 22939 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 280015656 937656320 15728 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24857/tid=24861] ppid=24855 vsize=915680 CPUtime=0
/proc/24857/task/24861/stat : 24861 (java) S 24855 24857 22939 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 280015656 937656320 15728 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24857/tid=24862] ppid=24855 vsize=915680 CPUtime=0
/proc/24857/task/24862/stat : 24862 (java) S 24855 24857 22939 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 280015659 937656320 15728 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24857/tid=24863] ppid=24855 vsize=915680 CPUtime=0.36
/proc/24857/task/24863/stat : 24863 (java) S 24855 24857 22939 0 -1 64 513 0 0 0 34 2 0 0 16 0 8 0 280015660 937656320 15728 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24857/tid=24864] ppid=24855 vsize=915680 CPUtime=0
/proc/24857/task/24864/stat : 24864 (java) S 24855 24857 22939 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280015660 937656320 15728 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24857/tid=24865] ppid=24855 vsize=915680 CPUtime=0
/proc/24857/task/24865/stat : 24865 (java) S 24855 24857 22939 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280015660 937656320 15728 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2371.16
Current children cumulated vsize (KiB) 915680
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2413.67 s]
/proc/loadavg: 2.00 2.01 2.00 3/94 24965
/proc/meminfo: memFree=1152848/2055920 swapFree=4192812/4192956
[pid=24857] ppid=24855 vsize=915680 CPUtime=2400
/proc/24857/stat : 24857 (java) R 24855 24857 22939 0 -1 0 16011 0 1 0 239914 86 0 0 25 0 8 0 280015652 937656320 15728 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074005878 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24857/statm: 228920 15728 2529 14 0 215390 0
[pid=24857/tid=24859] ppid=24855 vsize=915680 CPUtime=0.1
/proc/24857/task/24859/stat : 24859 (java) S 24855 24857 22939 0 -1 64 1663 0 0 0 10 0 0 0 16 0 8 0 280015656 937656320 15728 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24857/tid=24860] ppid=24855 vsize=915680 CPUtime=0
/proc/24857/task/24860/stat : 24860 (java) S 24855 24857 22939 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 280015656 937656320 15728 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24857/tid=24861] ppid=24855 vsize=915680 CPUtime=0
/proc/24857/task/24861/stat : 24861 (java) S 24855 24857 22939 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 280015656 937656320 15728 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24857/tid=24862] ppid=24855 vsize=915680 CPUtime=0
/proc/24857/task/24862/stat : 24862 (java) S 24855 24857 22939 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 280015659 937656320 15728 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24857/tid=24863] ppid=24855 vsize=915680 CPUtime=0.36
/proc/24857/task/24863/stat : 24863 (java) S 24855 24857 22939 0 -1 64 513 0 0 0 34 2 0 0 16 0 8 0 280015660 937656320 15728 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24857/tid=24864] ppid=24855 vsize=915680 CPUtime=0
/proc/24857/task/24864/stat : 24864 (java) S 24855 24857 22939 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280015660 937656320 15728 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24857/tid=24865] ppid=24855 vsize=915680 CPUtime=0
/proc/24857/task/24865/stat : 24865 (java) S 24855 24857 22939 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280015660 937656320 15728 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2400
Current children cumulated vsize (KiB) 915680
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 2413.74
CPU time (s): 2400.08
CPU user time (s): 2399.2
CPU system time (s): 0.875866
CPU usage (%): 99.4337
Max. virtual memory (cumulated for all children) (KiB): 915784
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.2
system time used= 0.875866
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16031
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= 49997
involuntary context switches= 82641
runsolver used 2.83457 s user time and 7.8658 s system time
The end
Begin job on node18 on Sat Jan 20 18:03:30 UTC 2007
IDJOB= 281954
IDBENCH= 12329
IDSOLVER= 69
FILE ID= node18/281954-1169316209
PBS_JOBID= 3609961
Free space on /tmp= 66556 MiB
SOLVER NAME= AbsconMax 109 PFC
BENCH NAME= HOME/pub/bench/CPAI06/MaxCSP/maxclique/hamming-8-4_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/281954-1169316209/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node18/watcher-281954-1169316209 -o ROOT/results/node18/solver-281954-1169316209 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/281954-1169316209/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= b0a00bbe6c04c0fd97419def8d21c0b4
RANDOM SEED= 555180621
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.231
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.231
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: 1259736 kB
Buffers: 54972 kB
Cached: 587288 kB
SwapCached: 0 kB
Active: 280528 kB
Inactive: 434432 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1259736 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2544 kB
Writeback: 0 kB
Mapped: 92844 kB
Slab: 66060 kB
Committed_AS: 9527492 kB
PageTables: 2096 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 node18 on Sat Jan 20 18:43:43 UTC 2007