0.66
0.67 Abscon 109 (November, 2006)
0.67
0.67 configuration
0.67 name=mac.xml
0.71
0.71 instance
0.71 name=/tmp/evaluation/195042-1168069652/unknown.xml
0.74
0.74 domains being loaded...
0.74
0.74 variables being loaded...
0.78 nbVariables=50 nbDomainTypes=1 minDomainSize=23 maxDomainSize=23
0.78 => wckTime=0.112 cpuTime=0.09 mem=6M951
0.78
0.78 relations being loaded...
0.93
0.93 constraints being loaded...
1.07 nbConstraints=465 nbRelationTypes=465 nbExtensionStructures=465 nbSharedExtensionStructures=0
1.07 nbConflictsStructures=465 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=2389 maxDegree=27
1.07 maxArity=2
1.07 => wckTime=0.396 cpuTime=0.3 mem=17M695
1.11
1.11 solver IterativeSystematicSolver being built...
1.26 => wckTime=0.589 cpuTime=0.42 mem=15M363
1.27
1.27 preprocessing
1.27 nbConstraintChecks=0 nbPropagations=50 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
1.27 detectedInconsistency=no
1.27 => wckTime=0.0080 cpuTime=0.01 mem=15M363
1.31
1.31 search
1.31 run=0 nbConstraintChecks=34901 nbPropagations=451 nbRevisions=4573 nbUselessRevisions=3761 nbAssignments=20
1.31 nbFailedAssignments=3 nbBacktracks=10 nbVisitedNodes=28 nbRestartNogoods=0 mapSize=6 nbInferences=0
1.31 nbTooLargeKeys=0
1.31 => wckTime=0.049 cpuTime=0.04 mem=15M363
1.34
1.34 search
1.34 run=1 nbConstraintChecks=89387 nbPropagations=1593 nbRevisions=17847 nbUselessRevisions=14742 nbAssignments=58
1.34 nbFailedAssignments=14 nbBacktracks=26 nbVisitedNodes=85 nbRestartNogoods=1 mapSize=19 nbInferences=0
1.34 nbTooLargeKeys=0
1.34 => wckTime=0.075 cpuTime=0.05 mem=15M363
1.36
1.36 search
1.36 run=2 nbConstraintChecks=161943 nbPropagations=3610 nbRevisions=43339 nbUselessRevisions=35796
1.36 nbAssignments=105 nbFailedAssignments=30 nbBacktracks=49 nbVisitedNodes=158 nbRestartNogoods=2 mapSize=37
1.36 nbInferences=0 nbTooLargeKeys=0
1.36 => wckTime=0.095 cpuTime=0.07 mem=15M363
1.38
1.38 search
1.38 run=3 nbConstraintChecks=270567 nbPropagations=6863 nbRevisions=86165 nbUselessRevisions=70969
1.38 nbAssignments=168 nbFailedAssignments=50 nbBacktracks=84 nbVisitedNodes=256 nbRestartNogoods=3 mapSize=61
1.38 nbInferences=0 nbTooLargeKeys=0
1.38 => wckTime=0.116 cpuTime=0.09 mem=15M363
1.41
1.41 search
1.41 run=4 nbConstraintChecks=449327 nbPropagations=12167 nbRevisions=158327 nbUselessRevisions=129915
1.41 nbAssignments=272 nbFailedAssignments=90 nbBacktracks=139 nbVisitedNodes=430 nbRestartNogoods=5 mapSize=107
1.41 nbInferences=0 nbTooLargeKeys=0
1.41 => wckTime=0.15 cpuTime=0.13 mem=15M363
1.46
1.46 search
1.46 run=5 nbConstraintChecks=654234 nbPropagations=20061 nbRevisions=267897 nbUselessRevisions=219380
1.46 nbAssignments=415 nbFailedAssignments=147 nbBacktracks=214 nbVisitedNodes=666 nbRestartNogoods=7 mapSize=166
1.46 nbInferences=0 nbTooLargeKeys=0
1.46 => wckTime=0.194 cpuTime=0.17 mem=15M363
1.52
1.52 search
1.52 run=6 nbConstraintChecks=1010429 nbPropagations=32053 nbRevisions=438056 nbUselessRevisions=358278
1.52 nbAssignments=610 nbFailedAssignments=219 nbBacktracks=328 nbVisitedNodes=1006 nbRestartNogoods=13 mapSize=264
1.52 nbInferences=0 nbTooLargeKeys=0
1.52 => wckTime=0.258 cpuTime=0.23 mem=15M363
1.61
1.61 search
1.61 run=7 nbConstraintChecks=1543141 nbPropagations=49927 nbRevisions=696091 nbUselessRevisions=568522
1.61 nbAssignments=893 nbFailedAssignments=325 nbBacktracks=498 nbVisitedNodes=1486 nbRestartNogoods=18 mapSize=395
1.61 nbInferences=0 nbTooLargeKeys=0
1.61 => wckTime=0.35 cpuTime=0.32 mem=15M363
1.74
1.74 search
1.74 run=8 nbConstraintChecks=2259658 nbPropagations=75909 nbRevisions=1076877 nbUselessRevisions=879245
1.74 nbAssignments=1314 nbFailedAssignments=477 nbBacktracks=756 nbVisitedNodes=2189 nbRestartNogoods=25
1.74 mapSize=592 nbInferences=0 nbTooLargeKeys=0
1.74 => wckTime=0.477 cpuTime=0.45 mem=15M363
1.92
1.92 search
1.92 run=9 nbConstraintChecks=3179713 nbPropagations=113311 nbRevisions=1627306 nbUselessRevisions=1329166
1.92 nbAssignments=1917 nbFailedAssignments=685 nbBacktracks=1140 nbVisitedNodes=3189 nbRestartNogoods=34
1.92 mapSize=897 nbInferences=0 nbTooLargeKeys=0
1.92 => wckTime=0.653 cpuTime=0.61 mem=15M363
2.00
2.00 INFO : Stopping hyperNogood (mapSize=1031, nbTooLargekeys=0, mem=15M363)
2.19
2.19 search
2.19 run=10 nbConstraintChecks=4865863 nbPropagations=169781 nbRevisions=2482107 nbUselessRevisions=2029094
2.19 nbAssignments=2911 nbFailedAssignments=1091 nbBacktracks=1719 nbVisitedNodes=4891 nbRestartNogoods=38
2.19 => wckTime=0.929 cpuTime=0.87 mem=15M363
2.53
2.53 search
2.53 run=11 nbConstraintChecks=7254798 nbPropagations=253577 nbRevisions=3746355 nbUselessRevisions=3061342
2.53 nbAssignments=4307 nbFailedAssignments=1612 nbBacktracks=2584 nbVisitedNodes=7260 nbRestartNogoods=41
2.53 => wckTime=1.27 cpuTime=1.2 mem=15M363
3.08
3.08 search
3.08 run=12 nbConstraintChecks=11187952 nbPropagations=381505 nbRevisions=5697242 nbUselessRevisions=4654228
3.08 nbAssignments=6496 nbFailedAssignments=2493 nbBacktracks=3882 nbVisitedNodes=11051 nbRestartNogoods=46
3.08 => wckTime=1.817 cpuTime=1.75 mem=15M363
3.79
3.79 search
3.79 run=13 nbConstraintChecks=16097530 nbPropagations=569842 nbRevisions=8559574 nbUselessRevisions=6993142
3.79 nbAssignments=9645 nbFailedAssignments=3684 nbBacktracks=5829 nbVisitedNodes=16418 nbRestartNogoods=59
3.79 => wckTime=2.524 cpuTime=2.46 mem=15M363
5.00
5.00 search
5.00 run=14 nbConstraintChecks=24895329 nbPropagations=856477 nbRevisions=12960692 nbUselessRevisions=10588652
5.00 nbAssignments=14562 nbFailedAssignments=5674 nbBacktracks=8748 nbVisitedNodes=24944 nbRestartNogoods=67
5.00 => wckTime=3.737 cpuTime=3.67 mem=15M363
6.78
6.78 search
6.78 run=15 nbConstraintChecks=37644847 nbPropagations=1291326 nbRevisions=19646555 nbUselessRevisions=16048033
6.78 nbAssignments=21881 nbFailedAssignments=8605 nbBacktracks=13127 nbVisitedNodes=37712 nbRestartNogoods=75
6.78 => wckTime=5.523 cpuTime=5.45 mem=15M363
9.24
9.24 search
9.24 run=16 nbConstraintChecks=54547939 nbPropagations=1933063 nbRevisions=29496910 nbUselessRevisions=24103992
9.24 nbAssignments=32632 nbFailedAssignments=12773 nbBacktracks=19701 nbVisitedNodes=56171 nbRestartNogoods=91
9.24 => wckTime=7.974 cpuTime=7.9 mem=15M363
13.27
13.27 search
13.27 run=17 nbConstraintChecks=83079631 nbPropagations=2901710 nbRevisions=44486571 nbUselessRevisions=36377631
13.27 nbAssignments=49006 nbFailedAssignments=19284 nbBacktracks=29553 nbVisitedNodes=84497 nbRestartNogoods=97
13.27 => wckTime=12.002 cpuTime=11.93 mem=15M363
19.33
19.33 search
19.33 run=18 nbConstraintChecks=126008657 nbPropagations=4371755 nbRevisions=67272268 nbUselessRevisions=55037625
19.33 nbAssignments=74015 nbFailedAssignments=29504 nbBacktracks=44333 nbVisitedNodes=127916 nbRestartNogoods=108
19.33 => wckTime=18.063 cpuTime=17.98 mem=15M363
27.97
27.97 search
27.97 run=19 nbConstraintChecks=187100899 nbPropagations=6563934 nbRevisions=100982334 nbUselessRevisions=82603325
27.97 nbAssignments=110477 nbFailedAssignments=43784 nbBacktracks=66505 nbVisitedNodes=190727 nbRestartNogoods=119
27.97 => wckTime=26.708 cpuTime=26.62 mem=15M363
40.48
40.48 search
40.48 run=20 nbConstraintChecks=274598256 nbPropagations=9800391 nbRevisions=150563284 nbUselessRevisions=123134150
40.48 nbAssignments=164097 nbFailedAssignments=64140 nbBacktracks=99760 nbVisitedNodes=282374 nbRestartNogoods=130
40.48 => wckTime=39.218 cpuTime=39.12 mem=15M363
60.88
60.88 search
60.88 run=21 nbConstraintChecks=417442535 nbPropagations=14715166 nbRevisions=226355557 nbUselessRevisions=185169508
60.88 nbAssignments=248385 nbFailedAssignments=98538 nbBacktracks=149638 nbVisitedNodes=428664 nbRestartNogoods=140
60.88 => wckTime=59.621 cpuTime=59.52 mem=15M363
87.89
87.89 search
87.89 run=22 nbConstraintChecks=605539338 nbPropagations=21906909 nbRevisions=336727078 nbUselessRevisions=275569084
87.89 nbAssignments=366870 nbFailedAssignments=142192 nbBacktracks=224456 nbVisitedNodes=629288 nbRestartNogoods=150
87.89 => wckTime=86.626 cpuTime=86.51 mem=15M363
134.15
134.15 search
134.15 run=23 nbConstraintChecks=935346123 nbPropagations=32878707 nbRevisions=505768472 nbUselessRevisions=413907083
134.15 nbAssignments=554459 nbFailedAssignments=217544 nbBacktracks=336683 nbVisitedNodes=954573 nbRestartNogoods=172
134.15 => wckTime=132.884 cpuTime=132.74 mem=15M363
199.23
199.23 search
199.23 run=24 nbConstraintChecks=1394963078 nbPropagations=49234308 nbRevisions=757739049 nbUselessRevisions=620261607
199.23 nbAssignments=824785 nbFailedAssignments=319519 nbBacktracks=505024 nbVisitedNodes=1417513 nbRestartNogoods=186
199.23 => wckTime=197.967 cpuTime=197.77 mem=15M363
306.13
306.13 search
306.13 run=25 nbConstraintChecks=2169771212 nbPropagations=74163202 nbRevisions=1146148559
306.13 nbUselessRevisions=938470457 nbAssignments=1248770 nbFailedAssignments=490983 nbBacktracks=757536
306.13 nbVisitedNodes=2153940 nbRestartNogoods=202
306.13 => wckTime=304.87 cpuTime=304.59 mem=15M363
375.73
375.73 search
375.73 run=26 nbConstraintChecks=2665429111 nbPropagations=104887372 nbRevisions=1622201515
375.73 nbUselessRevisions=1328212041 nbAssignments=1538331 nbFailedAssignments=600103 nbBacktracks=937927
375.73 nbVisitedNodes=2649300 nbRestartNogoods=229
375.73 => wckTime=374.465 cpuTime=374.15 mem=15M363
375.73
375.73 global
375.73 nbConstraintChecks=2665429111 nbPropagations=104887422 nbRevisions=1622201515 nbUselessRevisions=1328212041
375.73 nbRestartNogoods=229 solvingWckTime=374.466 solvingCpuTime=374.15 expiredTime=no totalExploration=no
375.73 nbFoundSolutions=1 globalCpuTime=374.62
375.73 => wckTime=375.059 cpuTime=374.57 mem=15M363
375.73
375.73 s SATISFIABLE
375.73 v 8 21 10 22 16 12 10 21 3 22 21 2 5 14 11 13 15 1 6 10 4 21 18 11 17 7 21 1 16 16 0 17 20 15 18 8 18 7 19 15 4 16 16 6 7 20 16 11 13 1
375.73 d NODES 1538331
375.73 d CHECKS 2665429111
375.73
375.73 totalWckTime=375.139 totalCpuTime=374.62
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node25/watcher-195042-1168069652 -o ROOT/results/node25/solver-195042-1168069652 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/195042-1168069652/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 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.00 1.21 1.52 4/78 28898
/proc/meminfo: memFree=1723904/2055920 swapFree=4192812/4192956
[pid=28897] ppid=28895 vsize=1784 CPUtime=0
/proc/28897/stat : 28897 (java) D 28895 28897 28702 0 -1 0 148 0 1 0 0 0 0 0 20 0 1 0 155357727 1826816 121 18446744073709551615 134512640 134570532 4294956560 18446744073709551615 4231648 0 0 4096 0 18446744071563479169 0 0 17 1 0 0
/proc/28897/statm: 446 121 89 14 0 91 0
[startup+0.106846 s]
/proc/loadavg: 1.00 1.21 1.52 4/78 28898
/proc/meminfo: memFree=1723904/2055920 swapFree=4192812/4192956
[pid=28897] ppid=28895 vsize=9948 CPUtime=0.01
/proc/28897/stat : 28897 (java) D 28895 28897 28702 0 -1 0 703 0 22 0 0 1 0 0 18 0 1 0 155357727 10186752 474 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 7368 18446744071563608240 0 0 17 0 0 0
/proc/28897/statm: 2487 474 388 14 0 1142 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9948
[startup+0.51492 s]
/proc/loadavg: 1.00 1.21 1.52 4/78 28898
/proc/meminfo: memFree=1723904/2055920 swapFree=4192812/4192956
[pid=28897] ppid=28895 vsize=915120 CPUtime=0.21
/proc/28897/stat : 28897 (java) D 28895 28897 28702 0 -1 0 3780 0 68 0 15 6 0 0 17 0 8 0 155357727 937082880 3593 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4151974723 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28897/statm: 228780 3593 1760 14 0 215275 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 915120
[startup+1.33706 s]
/proc/loadavg: 1.00 1.21 1.52 2/85 28905
/proc/meminfo: memFree=1674632/2055920 swapFree=4192812/4192956
[pid=28897] ppid=28895 vsize=915460 CPUtime=0.96
/proc/28897/stat : 28897 (java) R 28895 28897 28702 0 -1 0 9526 0 78 0 86 10 0 0 16 0 8 0 155357727 937431040 9341 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4072916847 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28897/statm: 228865 9341 2513 14 0 215335 0
[pid=28897/tid=28899] ppid=28895 vsize=915460 CPUtime=0.03
/proc/28897/task/28899/stat : 28899 (java) S 28895 28897 28702 0 -1 64 408 0 0 0 3 0 0 0 17 0 8 0 155357749 937431040 9341 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28897/tid=28900] ppid=28895 vsize=915460 CPUtime=0
/proc/28897/task/28900/stat : 28900 (java) S 28895 28897 28702 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155357750 937431040 9341 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28897/tid=28901] ppid=28895 vsize=915460 CPUtime=0
/proc/28897/task/28901/stat : 28901 (java) S 28895 28897 28702 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155357750 937431040 9341 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28897/tid=28902] ppid=28895 vsize=915460 CPUtime=0
/proc/28897/task/28902/stat : 28902 (java) S 28895 28897 28702 0 -1 64 0 0 0 0 0 0 0 0 20 0 8 0 155357756 937431040 9341 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28897/tid=28903] ppid=28895 vsize=915460 CPUtime=0.17
/proc/28897/task/28903/stat : 28903 (java) S 28895 28897 28702 0 -1 64 373 0 0 0 16 1 0 0 16 0 8 0 155357756 937431040 9341 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28897/tid=28904] ppid=28895 vsize=915460 CPUtime=0
/proc/28897/task/28904/stat : 28904 (java) S 28895 28897 28702 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 155357756 937431040 9341 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28897/tid=28905] ppid=28895 vsize=915460 CPUtime=0
/proc/28897/task/28905/stat : 28905 (java) S 28895 28897 28702 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 155357756 937431040 9341 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 0.96
Current children cumulated vsize (KiB) 915460
[startup+2.98033 s]
/proc/loadavg: 1.00 1.21 1.52 2/85 28905
/proc/meminfo: memFree=1674056/2055920 swapFree=4192812/4192956
[pid=28897] ppid=28895 vsize=915460 CPUtime=2.61
/proc/28897/stat : 28897 (java) R 28895 28897 28702 0 -1 0 9550 0 78 0 250 11 0 0 17 0 8 0 155357727 937431040 9364 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073832221 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28897/statm: 228865 9364 2513 14 0 215335 0
[pid=28897/tid=28899] ppid=28895 vsize=915460 CPUtime=0.03
/proc/28897/task/28899/stat : 28899 (java) S 28895 28897 28702 0 -1 64 408 0 0 0 3 0 0 0 16 0 8 0 155357749 937431040 9364 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28897/tid=28900] ppid=28895 vsize=915460 CPUtime=0
/proc/28897/task/28900/stat : 28900 (java) S 28895 28897 28702 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155357750 937431040 9364 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28897/tid=28901] ppid=28895 vsize=915460 CPUtime=0
/proc/28897/task/28901/stat : 28901 (java) S 28895 28897 28702 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155357750 937431040 9364 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28897/tid=28902] ppid=28895 vsize=915460 CPUtime=0
/proc/28897/task/28902/stat : 28902 (java) S 28895 28897 28702 0 -1 64 0 0 0 0 0 0 0 0 20 0 8 0 155357756 937431040 9364 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28897/tid=28903] ppid=28895 vsize=915460 CPUtime=0.21
/proc/28897/task/28903/stat : 28903 (java) S 28895 28897 28702 0 -1 64 396 0 0 0 20 1 0 0 15 0 8 0 155357756 937431040 9364 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28897/tid=28904] ppid=28895 vsize=915460 CPUtime=0
/proc/28897/task/28904/stat : 28904 (java) S 28895 28897 28702 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 155357756 937431040 9364 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28897/tid=28905] ppid=28895 vsize=915460 CPUtime=0
/proc/28897/task/28905/stat : 28905 (java) S 28895 28897 28702 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 155357756 937431040 9364 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.61
Current children cumulated vsize (KiB) 915460
[startup+6.26789 s]
/proc/loadavg: 1.00 1.20 1.51 2/85 28905
/proc/meminfo: memFree=1674064/2055920 swapFree=4192812/4192956
[pid=28897] ppid=28895 vsize=915460 CPUtime=5.89
/proc/28897/stat : 28897 (java) R 28895 28897 28702 0 -1 0 9551 0 78 0 578 11 0 0 25 0 8 0 155357727 937431040 9364 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073822914 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28897/statm: 228865 9364 2513 14 0 215335 0
[pid=28897/tid=28899] ppid=28895 vsize=915460 CPUtime=0.03
/proc/28897/task/28899/stat : 28899 (java) S 28895 28897 28702 0 -1 64 408 0 0 0 3 0 0 0 16 0 8 0 155357749 937431040 9364 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28897/tid=28900] ppid=28895 vsize=915460 CPUtime=0
/proc/28897/task/28900/stat : 28900 (java) S 28895 28897 28702 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155357750 937431040 9364 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28897/tid=28901] ppid=28895 vsize=915460 CPUtime=0
/proc/28897/task/28901/stat : 28901 (java) S 28895 28897 28702 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155357750 937431040 9364 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28897/tid=28902] ppid=28895 vsize=915460 CPUtime=0
/proc/28897/task/28902/stat : 28902 (java) S 28895 28897 28702 0 -1 64 0 0 0 0 0 0 0 0 20 0 8 0 155357756 937431040 9364 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28897/tid=28903] ppid=28895 vsize=915460 CPUtime=0.21
/proc/28897/task/28903/stat : 28903 (java) S 28895 28897 28702 0 -1 64 396 0 0 0 20 1 0 0 15 0 8 0 155357756 937431040 9364 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28897/tid=28904] ppid=28895 vsize=915460 CPUtime=0
/proc/28897/task/28904/stat : 28904 (java) S 28895 28897 28702 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 155357756 937431040 9364 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28897/tid=28905] ppid=28895 vsize=915460 CPUtime=0
/proc/28897/task/28905/stat : 28905 (java) S 28895 28897 28702 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 155357756 937431040 9364 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 5.89
Current children cumulated vsize (KiB) 915460
[startup+12.747 s]
/proc/loadavg: 1.00 1.20 1.51 2/85 28905
/proc/meminfo: memFree=1674064/2055920 swapFree=4192812/4192956
[pid=28897] ppid=28895 vsize=915460 CPUtime=12.37
/proc/28897/stat : 28897 (java) R 28895 28897 28702 0 -1 0 9551 0 78 0 1226 11 0 0 25 0 8 0 155357727 937431040 9364 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073837125 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28897/statm: 228865 9364 2513 14 0 215335 0
[pid=28897/tid=28899] ppid=28895 vsize=915460 CPUtime=0.03
/proc/28897/task/28899/stat : 28899 (java) S 28895 28897 28702 0 -1 64 408 0 0 0 3 0 0 0 16 0 8 0 155357749 937431040 9364 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28897/tid=28900] ppid=28895 vsize=915460 CPUtime=0
/proc/28897/task/28900/stat : 28900 (java) S 28895 28897 28702 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155357750 937431040 9364 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28897/tid=28901] ppid=28895 vsize=915460 CPUtime=0
/proc/28897/task/28901/stat : 28901 (java) S 28895 28897 28702 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155357750 937431040 9364 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28897/tid=28902] ppid=28895 vsize=915460 CPUtime=0
/proc/28897/task/28902/stat : 28902 (java) S 28895 28897 28702 0 -1 64 0 0 0 0 0 0 0 0 20 0 8 0 155357756 937431040 9364 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28897/tid=28903] ppid=28895 vsize=915460 CPUtime=0.21
/proc/28897/task/28903/stat : 28903 (java) S 28895 28897 28702 0 -1 64 396 0 0 0 20 1 0 0 15 0 8 0 155357756 937431040 9364 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28897/tid=28904] ppid=28895 vsize=915460 CPUtime=0
/proc/28897/task/28904/stat : 28904 (java) S 28895 28897 28702 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 155357756 937431040 9364 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28897/tid=28905] ppid=28895 vsize=915460 CPUtime=0
/proc/28897/task/28905/stat : 28905 (java) S 28895 28897 28702 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 155357756 937431040 9364 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.37
Current children cumulated vsize (KiB) 915460
[startup+25.5852 s]
/proc/loadavg: 1.00 1.19 1.51 2/85 28905
/proc/meminfo: memFree=1674256/2055920 swapFree=4192812/4192956
[pid=28897] ppid=28895 vsize=915460 CPUtime=25.19
/proc/28897/stat : 28897 (java) R 28895 28897 28702 0 -1 0 9553 0 78 0 2508 11 0 0 25 0 8 0 155357727 937431040 9365 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073813875 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28897/statm: 228865 9365 2513 14 0 215335 0
[pid=28897/tid=28899] ppid=28895 vsize=915460 CPUtime=0.03
/proc/28897/task/28899/stat : 28899 (java) S 28895 28897 28702 0 -1 64 408 0 0 0 3 0 0 0 16 0 8 0 155357749 937431040 9365 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28897/tid=28900] ppid=28895 vsize=915460 CPUtime=0
/proc/28897/task/28900/stat : 28900 (java) S 28895 28897 28702 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155357750 937431040 9365 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28897/tid=28901] ppid=28895 vsize=915460 CPUtime=0
/proc/28897/task/28901/stat : 28901 (java) S 28895 28897 28702 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155357750 937431040 9365 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28897/tid=28902] ppid=28895 vsize=915460 CPUtime=0
/proc/28897/task/28902/stat : 28902 (java) S 28895 28897 28702 0 -1 64 0 0 0 0 0 0 0 0 20 0 8 0 155357756 937431040 9365 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28897/tid=28903] ppid=28895 vsize=915460 CPUtime=0.21
/proc/28897/task/28903/stat : 28903 (java) S 28895 28897 28702 0 -1 64 397 0 0 0 20 1 0 0 16 0 8 0 155357756 937431040 9365 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28897/tid=28904] ppid=28895 vsize=915460 CPUtime=0
/proc/28897/task/28904/stat : 28904 (java) S 28895 28897 28702 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 155357756 937431040 9365 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28897/tid=28905] ppid=28895 vsize=915460 CPUtime=0
/proc/28897/task/28905/stat : 28905 (java) S 28895 28897 28702 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 155357756 937431040 9365 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.19
Current children cumulated vsize (KiB) 915460
[startup+51.2835 s]
/proc/loadavg: 1.00 1.17 1.49 2/85 28905
/proc/meminfo: memFree=1674320/2055920 swapFree=4192812/4192956
[pid=28897] ppid=28895 vsize=915460 CPUtime=50.87
/proc/28897/stat : 28897 (java) R 28895 28897 28702 0 -1 0 9553 0 78 0 5076 11 0 0 25 0 8 0 155357727 937431040 9365 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4072918514 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28897/statm: 228865 9365 2513 14 0 215335 0
[pid=28897/tid=28899] ppid=28895 vsize=915460 CPUtime=0.03
/proc/28897/task/28899/stat : 28899 (java) S 28895 28897 28702 0 -1 64 408 0 0 0 3 0 0 0 16 0 8 0 155357749 937431040 9365 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28897/tid=28900] ppid=28895 vsize=915460 CPUtime=0
/proc/28897/task/28900/stat : 28900 (java) S 28895 28897 28702 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155357750 937431040 9365 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28897/tid=28901] ppid=28895 vsize=915460 CPUtime=0
/proc/28897/task/28901/stat : 28901 (java) S 28895 28897 28702 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155357750 937431040 9365 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28897/tid=28902] ppid=28895 vsize=915460 CPUtime=0
/proc/28897/task/28902/stat : 28902 (java) S 28895 28897 28702 0 -1 64 0 0 0 0 0 0 0 0 20 0 8 0 155357756 937431040 9365 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28897/tid=28903] ppid=28895 vsize=915460 CPUtime=0.21
/proc/28897/task/28903/stat : 28903 (java) S 28895 28897 28702 0 -1 64 397 0 0 0 20 1 0 0 16 0 8 0 155357756 937431040 9365 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28897/tid=28904] ppid=28895 vsize=915460 CPUtime=0
/proc/28897/task/28904/stat : 28904 (java) S 28895 28897 28702 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 155357756 937431040 9365 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28897/tid=28905] ppid=28895 vsize=915460 CPUtime=0
/proc/28897/task/28905/stat : 28905 (java) S 28895 28897 28702 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 155357756 937431040 9365 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.87
Current children cumulated vsize (KiB) 915460
[startup+102.572 s]
/proc/loadavg: 1.00 1.14 1.46 2/85 28905
/proc/meminfo: memFree=1674384/2055920 swapFree=4192812/4192956
[pid=28897] ppid=28895 vsize=915460 CPUtime=102.13
/proc/28897/stat : 28897 (java) R 28895 28897 28702 0 -1 0 9553 0 78 0 10202 11 0 0 25 0 8 0 155357727 937431040 9365 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073823737 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28897/statm: 228865 9365 2513 14 0 215335 0
[pid=28897/tid=28899] ppid=28895 vsize=915460 CPUtime=0.03
/proc/28897/task/28899/stat : 28899 (java) S 28895 28897 28702 0 -1 64 408 0 0 0 3 0 0 0 16 0 8 0 155357749 937431040 9365 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28897/tid=28900] ppid=28895 vsize=915460 CPUtime=0
/proc/28897/task/28900/stat : 28900 (java) S 28895 28897 28702 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155357750 937431040 9365 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28897/tid=28901] ppid=28895 vsize=915460 CPUtime=0
/proc/28897/task/28901/stat : 28901 (java) S 28895 28897 28702 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155357750 937431040 9365 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28897/tid=28902] ppid=28895 vsize=915460 CPUtime=0
/proc/28897/task/28902/stat : 28902 (java) S 28895 28897 28702 0 -1 64 0 0 0 0 0 0 0 0 20 0 8 0 155357756 937431040 9365 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28897/tid=28903] ppid=28895 vsize=915460 CPUtime=0.21
/proc/28897/task/28903/stat : 28903 (java) S 28895 28897 28702 0 -1 64 397 0 0 0 20 1 0 0 16 0 8 0 155357756 937431040 9365 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28897/tid=28904] ppid=28895 vsize=915460 CPUtime=0
/proc/28897/task/28904/stat : 28904 (java) S 28895 28897 28702 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 155357756 937431040 9365 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28897/tid=28905] ppid=28895 vsize=915460 CPUtime=0
/proc/28897/task/28905/stat : 28905 (java) S 28895 28897 28702 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 155357756 937431040 9365 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.13
Current children cumulated vsize (KiB) 915460
[startup+162.584 s]
/proc/loadavg: 1.00 1.12 1.43 2/85 28905
/proc/meminfo: memFree=1674384/2055920 swapFree=4192812/4192956
[pid=28897] ppid=28895 vsize=915460 CPUtime=162.1
/proc/28897/stat : 28897 (java) R 28895 28897 28702 0 -1 0 9554 0 78 0 16199 11 0 0 25 0 8 0 155357727 937431040 9366 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073810697 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28897/statm: 228865 9366 2513 14 0 215335 0
[pid=28897/tid=28899] ppid=28895 vsize=915460 CPUtime=0.03
/proc/28897/task/28899/stat : 28899 (java) S 28895 28897 28702 0 -1 64 408 0 0 0 3 0 0 0 16 0 8 0 155357749 937431040 9366 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28897/tid=28900] ppid=28895 vsize=915460 CPUtime=0
/proc/28897/task/28900/stat : 28900 (java) S 28895 28897 28702 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155357750 937431040 9366 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28897/tid=28901] ppid=28895 vsize=915460 CPUtime=0
/proc/28897/task/28901/stat : 28901 (java) S 28895 28897 28702 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155357750 937431040 9366 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28897/tid=28902] ppid=28895 vsize=915460 CPUtime=0
/proc/28897/task/28902/stat : 28902 (java) S 28895 28897 28702 0 -1 64 0 0 0 0 0 0 0 0 20 0 8 0 155357756 937431040 9366 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28897/tid=28903] ppid=28895 vsize=915460 CPUtime=0.21
/proc/28897/task/28903/stat : 28903 (java) S 28895 28897 28702 0 -1 64 398 0 0 0 20 1 0 0 16 0 8 0 155357756 937431040 9366 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28897/tid=28904] ppid=28895 vsize=915460 CPUtime=0
/proc/28897/task/28904/stat : 28904 (java) S 28895 28897 28702 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 155357756 937431040 9366 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28897/tid=28905] ppid=28895 vsize=915460 CPUtime=0
/proc/28897/task/28905/stat : 28905 (java) S 28895 28897 28702 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 155357756 937431040 9366 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 162.1
Current children cumulated vsize (KiB) 915460
[startup+222.604 s]
/proc/loadavg: 1.00 1.09 1.40 2/85 28905
/proc/meminfo: memFree=1674384/2055920 swapFree=4192812/4192956
[pid=28897] ppid=28895 vsize=915460 CPUtime=222.09
/proc/28897/stat : 28897 (java) R 28895 28897 28702 0 -1 0 9554 0 78 0 22197 12 0 0 25 0 8 0 155357727 937431040 9366 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073835475 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28897/statm: 228865 9366 2513 14 0 215335 0
[pid=28897/tid=28899] ppid=28895 vsize=915460 CPUtime=0.03
/proc/28897/task/28899/stat : 28899 (java) S 28895 28897 28702 0 -1 64 408 0 0 0 3 0 0 0 16 0 8 0 155357749 937431040 9366 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28897/tid=28900] ppid=28895 vsize=915460 CPUtime=0
/proc/28897/task/28900/stat : 28900 (java) S 28895 28897 28702 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155357750 937431040 9366 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28897/tid=28901] ppid=28895 vsize=915460 CPUtime=0
/proc/28897/task/28901/stat : 28901 (java) S 28895 28897 28702 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155357750 937431040 9366 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28897/tid=28902] ppid=28895 vsize=915460 CPUtime=0
/proc/28897/task/28902/stat : 28902 (java) S 28895 28897 28702 0 -1 64 0 0 0 0 0 0 0 0 20 0 8 0 155357756 937431040 9366 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28897/tid=28903] ppid=28895 vsize=915460 CPUtime=0.21
/proc/28897/task/28903/stat : 28903 (java) S 28895 28897 28702 0 -1 64 398 0 0 0 20 1 0 0 16 0 8 0 155357756 937431040 9366 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28897/tid=28904] ppid=28895 vsize=915460 CPUtime=0
/proc/28897/task/28904/stat : 28904 (java) S 28895 28897 28702 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 155357756 937431040 9366 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28897/tid=28905] ppid=28895 vsize=915460 CPUtime=0
/proc/28897/task/28905/stat : 28905 (java) S 28895 28897 28702 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 155357756 937431040 9366 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 222.09
Current children cumulated vsize (KiB) 915460
[startup+282.628 s]
/proc/loadavg: 1.00 1.07 1.37 2/85 28905
/proc/meminfo: memFree=1674320/2055920 swapFree=4192812/4192956
[pid=28897] ppid=28895 vsize=915460 CPUtime=282.07
/proc/28897/stat : 28897 (java) R 28895 28897 28702 0 -1 0 9554 0 78 0 28195 12 0 0 25 0 8 0 155357727 937431040 9366 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073810735 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28897/statm: 228865 9366 2513 14 0 215335 0
[pid=28897/tid=28899] ppid=28895 vsize=915460 CPUtime=0.03
/proc/28897/task/28899/stat : 28899 (java) S 28895 28897 28702 0 -1 64 408 0 0 0 3 0 0 0 16 0 8 0 155357749 937431040 9366 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28897/tid=28900] ppid=28895 vsize=915460 CPUtime=0
/proc/28897/task/28900/stat : 28900 (java) S 28895 28897 28702 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155357750 937431040 9366 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28897/tid=28901] ppid=28895 vsize=915460 CPUtime=0
/proc/28897/task/28901/stat : 28901 (java) S 28895 28897 28702 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155357750 937431040 9366 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28897/tid=28902] ppid=28895 vsize=915460 CPUtime=0
/proc/28897/task/28902/stat : 28902 (java) S 28895 28897 28702 0 -1 64 0 0 0 0 0 0 0 0 20 0 8 0 155357756 937431040 9366 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28897/tid=28903] ppid=28895 vsize=915460 CPUtime=0.21
/proc/28897/task/28903/stat : 28903 (java) S 28895 28897 28702 0 -1 64 398 0 0 0 20 1 0 0 16 0 8 0 155357756 937431040 9366 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28897/tid=28904] ppid=28895 vsize=915460 CPUtime=0
/proc/28897/task/28904/stat : 28904 (java) S 28895 28897 28702 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 155357756 937431040 9366 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28897/tid=28905] ppid=28895 vsize=915460 CPUtime=0
/proc/28897/task/28905/stat : 28905 (java) S 28895 28897 28702 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 155357756 937431040 9366 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 282.07
Current children cumulated vsize (KiB) 915460
[startup+342.656 s]
/proc/loadavg: 1.04 1.07 1.35 2/85 28905
/proc/meminfo: memFree=1674384/2055920 swapFree=4192812/4192956
[pid=28897] ppid=28895 vsize=915460 CPUtime=342.05
/proc/28897/stat : 28897 (java) R 28895 28897 28702 0 -1 0 9554 0 78 0 34193 12 0 0 25 0 8 0 155357727 937431040 9366 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073823920 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28897/statm: 228865 9366 2513 14 0 215335 0
[pid=28897/tid=28899] ppid=28895 vsize=915460 CPUtime=0.03
/proc/28897/task/28899/stat : 28899 (java) S 28895 28897 28702 0 -1 64 408 0 0 0 3 0 0 0 16 0 8 0 155357749 937431040 9366 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28897/tid=28900] ppid=28895 vsize=915460 CPUtime=0
/proc/28897/task/28900/stat : 28900 (java) S 28895 28897 28702 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155357750 937431040 9366 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28897/tid=28901] ppid=28895 vsize=915460 CPUtime=0
/proc/28897/task/28901/stat : 28901 (java) S 28895 28897 28702 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155357750 937431040 9366 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28897/tid=28902] ppid=28895 vsize=915460 CPUtime=0
/proc/28897/task/28902/stat : 28902 (java) S 28895 28897 28702 0 -1 64 0 0 0 0 0 0 0 0 20 0 8 0 155357756 937431040 9366 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28897/tid=28903] ppid=28895 vsize=915460 CPUtime=0.21
/proc/28897/task/28903/stat : 28903 (java) S 28895 28897 28702 0 -1 64 398 0 0 0 20 1 0 0 16 0 8 0 155357756 937431040 9366 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28897/tid=28904] ppid=28895 vsize=915460 CPUtime=0
/proc/28897/task/28904/stat : 28904 (java) S 28895 28897 28702 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 155357756 937431040 9366 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28897/tid=28905] ppid=28895 vsize=915460 CPUtime=0
/proc/28897/task/28905/stat : 28905 (java) S 28895 28897 28702 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 155357756 937431040 9366 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 342.05
Current children cumulated vsize (KiB) 915460
Child status: 0
Real time (s): 375.769
CPU time (s): 375.128
CPU user time (s): 374.994
CPU system time (s): 0.133979
CPU usage (%): 99.8294
Max. virtual memory (cumulated for all children) (KiB): 915460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 374.994
system time used= 0.133979
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9562
page faults= 78
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8619
involuntary context switches= 16702
runsolver used 0.417936 s user time and 0.929858 s system time
The end
Begin job on node25 on Sat Jan 6 07:47:33 UTC 2007
IDJOB= 195042
IDBENCH= 3246
FILE ID= node25/195042-1168069652
PBS_JOBID= 3475682
Free space on /tmp= 66549 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-50-23/rand-2-50-23-587-230-7_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/195042-1168069652/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node25/watcher-195042-1168069652 -o ROOT/results/node25/solver-195042-1168069652 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/195042-1168069652/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 64ec9d79eddb6cf5b66324794f86b124
RANDOM SEED= 425212332
TIME LIMIT= 1800 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.279
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.279
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: 1724256 kB
Buffers: 40872 kB
Cached: 176320 kB
SwapCached: 0 kB
Active: 48636 kB
Inactive: 212152 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1724256 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2148 kB
Writeback: 0 kB
Mapped: 62612 kB
Slab: 56176 kB
Committed_AS: 2814592 kB
PageTables: 1936 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= 66549 MiB
End job on node25 on Sat Jan 6 07:53:49 UTC 2007