0.30
0.30 Abscon 109 (November, 2006)
0.30
0.30 configuration
0.30 name=esac.xml
0.35
0.35 instance
0.35 name=/tmp/evaluation/202553-1168152443/unknown.xml
0.38
0.38 domains being loaded...
0.38
0.38 variables being loaded...
0.42 nbVariables=40 nbDomainTypes=1 minDomainSize=19 maxDomainSize=19
0.42 => wckTime=0.111 cpuTime=0.08 mem=6M951
0.42
0.42 relations being loaded...
0.52
0.52 constraints being loaded...
0.62 nbConstraints=340 nbRelationTypes=340 nbExtensionStructures=340 nbSharedExtensionStructures=0
0.62 nbConflictsStructures=340 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=2972 maxDegree=22
0.62 maxArity=2
0.62 => wckTime=0.316 cpuTime=0.22 mem=12M803
0.66
0.66 solver IterativeSystematicSolver being built...
0.81 => wckTime=0.505 cpuTime=0.34 mem=15M17
0.86
0.86 preprocessing
0.86 nbConstraintChecks=71220 nbPropagations=946 nbRevisions=7000 nbUselessRevisions=5707 nbSingletonTests=53
0.86 nbEffectiveSingletonTests=0 nbESACBranches=7 nbRemovedValues=0 detectedInconsistency=no
0.86 => wckTime=0.049 cpuTime=0.03 mem=15M17
0.88
0.88 search
0.88 run=0 nbConstraintChecks=25688 nbPropagations=1342 nbRevisions=11350 nbUselessRevisions=9306 nbAssignments=26
0.88 nbFailedAssignments=6 nbBacktracks=11 nbVisitedNodes=39 nbRestartNogoods=0 mapSize=9 nbInferences=0
0.88 nbTooLargeKeys=0
0.88 => wckTime=0.069 cpuTime=0.05 mem=15M17
0.90
0.90 search
0.90 run=1 nbConstraintChecks=76527 nbPropagations=3450 nbRevisions=32045 nbUselessRevisions=26242 nbAssignments=64
0.90 nbFailedAssignments=18 nbBacktracks=29 nbVisitedNodes=100 nbRestartNogoods=2 mapSize=24 nbInferences=0
0.90 nbTooLargeKeys=0
0.90 => wckTime=0.09 cpuTime=0.06 mem=15M17
0.92
0.92 search
0.92 run=2 nbConstraintChecks=146809 nbPropagations=6506 nbRevisions=64902 nbUselessRevisions=52944
0.92 nbAssignments=112 nbFailedAssignments=36 nbBacktracks=51 nbVisitedNodes=181 nbRestartNogoods=5 mapSize=44
0.92 nbInferences=0 nbTooLargeKeys=0
0.92 => wckTime=0.107 cpuTime=0.07 mem=15M17
0.94
0.94 search
0.94 run=3 nbConstraintChecks=220806 nbPropagations=10634 nbRevisions=111318 nbUselessRevisions=90716
0.94 nbAssignments=177 nbFailedAssignments=58 nbBacktracks=86 nbVisitedNodes=285 nbRestartNogoods=7 mapSize=70
0.94 nbInferences=0 nbTooLargeKeys=0
0.94 => wckTime=0.123 cpuTime=0.09 mem=15M17
0.96
0.96 search
0.96 run=4 nbConstraintChecks=343376 nbPropagations=16385 nbRevisions=179017 nbUselessRevisions=145429
0.96 nbAssignments=269 nbFailedAssignments=92 nbBacktracks=136 nbVisitedNodes=437 nbRestartNogoods=9 mapSize=110
0.96 nbInferences=0 nbTooLargeKeys=0
0.96 => wckTime=0.147 cpuTime=0.11 mem=15M17
1.00
1.00 search
1.00 run=5 nbConstraintChecks=550002 nbPropagations=24942 nbRevisions=286397 nbUselessRevisions=232275
1.00 nbAssignments=414 nbFailedAssignments=153 nbBacktracks=212 nbVisitedNodes=693 nbRestartNogoods=15 mapSize=180
1.00 nbInferences=0 nbTooLargeKeys=0
1.00 => wckTime=0.188 cpuTime=0.15 mem=15M17
1.05
1.05 search
1.05 run=6 nbConstraintChecks=817913 nbPropagations=37207 nbRevisions=445468 nbUselessRevisions=360851
1.05 nbAssignments=615 nbFailedAssignments=231 nbBacktracks=329 nbVisitedNodes=1039 nbRestartNogoods=21 mapSize=282
1.05 nbInferences=0 nbTooLargeKeys=0
1.05 => wckTime=0.237 cpuTime=0.2 mem=15M17
1.12
1.12 search
1.12 run=7 nbConstraintChecks=1202331 nbPropagations=54731 nbRevisions=674817 nbUselessRevisions=545641
1.12 nbAssignments=907 nbFailedAssignments=344 nbBacktracks=499 nbVisitedNodes=1542 nbRestartNogoods=25 mapSize=425
1.12 nbInferences=0 nbTooLargeKeys=0
1.12 => wckTime=0.304 cpuTime=0.26 mem=15M17
1.22
1.22 search
1.22 run=8 nbConstraintChecks=1808896 nbPropagations=80631 nbRevisions=1021308 nbUselessRevisions=824851
1.22 nbAssignments=1375 nbFailedAssignments=547 nbBacktracks=755 nbVisitedNodes=2362 nbRestartNogoods=28
1.22 mapSize=650 nbInferences=0 nbTooLargeKeys=0
1.22 => wckTime=0.412 cpuTime=0.37 mem=15M17
1.37
1.37 search
1.37 run=9 nbConstraintChecks=2580455 nbPropagations=117787 nbRevisions=1529187 nbUselessRevisions=1236187
1.37 nbAssignments=2020 nbFailedAssignments=800 nbBacktracks=1139 nbVisitedNodes=3490 nbRestartNogoods=35
1.37 mapSize=983 nbInferences=0 nbTooLargeKeys=0
1.37 => wckTime=0.557 cpuTime=0.5 mem=15M17
1.40
1.40 INFO : Stopping hyperNogood (mapSize=1035, nbTooLargekeys=0, mem=15M17)
1.57
1.57 search
1.57 run=10 nbConstraintChecks=3835432 nbPropagations=172637 nbRevisions=2279398 nbUselessRevisions=1843454
1.57 nbAssignments=2995 nbFailedAssignments=1191 nbBacktracks=1717 nbVisitedNodes=5205 nbRestartNogoods=41
1.57 => wckTime=0.762 cpuTime=0.69 mem=15M17
1.85
1.85 search
1.85 run=11 nbConstraintChecks=5609963 nbPropagations=253359 nbRevisions=3388176 nbUselessRevisions=2742295
1.85 nbAssignments=4399 nbFailedAssignments=1724 nbBacktracks=2581 nbVisitedNodes=7644 nbRestartNogoods=48
1.85 => wckTime=1.04 cpuTime=0.96 mem=15M17
2.30
2.30 search
2.30 run=12 nbConstraintChecks=8651713 nbPropagations=375031 nbRevisions=5088808 nbUselessRevisions=4122333
2.30 nbAssignments=6646 nbFailedAssignments=2667 nbBacktracks=3881 nbVisitedNodes=11597 nbRestartNogoods=53
2.30 => wckTime=1.49 cpuTime=1.41 mem=15M17
2.98
2.98 search
2.98 run=13 nbConstraintChecks=13127921 nbPropagations=558668 nbRevisions=7694404 nbUselessRevisions=6242030
2.98 nbAssignments=10072 nbFailedAssignments=4140 nbBacktracks=5827 nbVisitedNodes=17650 nbRestartNogoods=57
2.98 => wckTime=2.164 cpuTime=2.09 mem=15M17
3.99
3.99 search
3.99 run=14 nbConstraintChecks=20038527 nbPropagations=835841 nbRevisions=11604261 nbUselessRevisions=9414345
3.99 nbAssignments=15014 nbFailedAssignments=6146 nbBacktracks=8747 nbVisitedNodes=26296 nbRestartNogoods=69
3.99 => wckTime=3.177 cpuTime=3.1 mem=15M17
5.53
5.53 search
5.53 run=15 nbConstraintChecks=30283976 nbPropagations=1253488 nbRevisions=17482077 nbUselessRevisions=14175374
5.53 nbAssignments=22556 nbFailedAssignments=9301 nbBacktracks=13128 nbVisitedNodes=39562 nbRestartNogoods=77
5.53 => wckTime=4.718 cpuTime=4.64 mem=15M17
7.61
7.61 search
7.61 run=16 nbConstraintChecks=43654809 nbPropagations=1863986 nbRevisions=26141611 nbUselessRevisions=21217343
7.61 nbAssignments=33586 nbFailedAssignments=13752 nbBacktracks=19701 nbVisitedNodes=58753 nbRestartNogoods=86
7.61 => wckTime=6.797 cpuTime=6.71 mem=15M17
10.95
10.95 search
10.95 run=17 nbConstraintChecks=65898792 nbPropagations=2782404 nbRevisions=39095323 nbUselessRevisions=31724708
10.95 nbAssignments=50201 nbFailedAssignments=20509 nbBacktracks=29553 nbVisitedNodes=87966 nbRestartNogoods=96
10.95 => wckTime=10.14 cpuTime=10.05 mem=15M992
15.89
15.89 search
15.89 run=18 nbConstraintChecks=99428560 nbPropagations=4153188 nbRevisions=58380957 nbUselessRevisions=47339144
15.89 nbAssignments=74862 nbFailedAssignments=30385 nbBacktracks=44331 nbVisitedNodes=130960 nbRestartNogoods=103
15.89 => wckTime=15.078 cpuTime=14.99 mem=15M992
23.52
23.52 search
23.52 run=19 nbConstraintChecks=149947966 nbPropagations=6228579 nbRevisions=87888101 nbUselessRevisions=71311417
23.52 nbAssignments=113118 nbFailedAssignments=46436 nbBacktracks=66501 nbVisitedNodes=198569 nbRestartNogoods=115
23.52 => wckTime=22.706 cpuTime=22.59 mem=15M992
34.72
34.72 search
34.72 run=20 nbConstraintChecks=225314016 nbPropagations=9341129 nbRevisions=131834293 nbUselessRevisions=106963491
34.72 nbAssignments=169043 nbFailedAssignments=69102 nbBacktracks=99756 nbVisitedNodes=296381 nbRestartNogoods=129
34.72 => wckTime=33.909 cpuTime=33.79 mem=15M992
51.23
51.23 search
51.23 run=21 nbConstraintChecks=337032025 nbPropagations=13973107 nbRevisions=197162701 nbUselessRevisions=159930491
51.23 nbAssignments=251897 nbFailedAssignments=102073 nbBacktracks=149634 nbVisitedNodes=440607 nbRestartNogoods=139
51.23 => wckTime=50.42 cpuTime=50.29 mem=15M992
76.42
76.42 search
76.42 run=22 nbConstraintChecks=506774600 nbPropagations=20921421 nbRevisions=295185087 nbUselessRevisions=239386060
76.42 nbAssignments=378658 nbFailedAssignments=154009 nbBacktracks=224452 nbVisitedNodes=662174 nbRestartNogoods=161
76.42 => wckTime=75.604 cpuTime=75.44 mem=15M992
115.24
115.24 search
115.24 run=23 nbConstraintChecks=770694835 nbPropagations=31415544 nbRevisions=443414592 nbUselessRevisions=359503414
115.24 nbAssignments=568472 nbFailedAssignments=231588 nbBacktracks=336680 nbVisitedNodes=994368 nbRestartNogoods=175
115.24 => wckTime=114.424 cpuTime=114.21 mem=15M992
172.83
172.83 search
172.83 run=24 nbConstraintChecks=1155406330 nbPropagations=47222086 nbRevisions=667557098 nbUselessRevisions=541415755
172.83 nbAssignments=853788 nbFailedAssignments=348555 nbBacktracks=505024 nbVisitedNodes=1494742 nbRestartNogoods=185
172.83 => wckTime=172.015 cpuTime=171.75 mem=15M992
259.64
259.64 search
259.64 run=25 nbConstraintChecks=1744605631 nbPropagations=70975475 nbRevisions=1004932799
259.64 nbUselessRevisions=815301953 nbAssignments=1278584 nbFailedAssignments=520833 nbBacktracks=757536
259.64 nbVisitedNodes=2237310 nbRestartNogoods=201
259.64 => wckTime=258.826 cpuTime=258.47 mem=15M992
312.15
312.15 search
312.15 run=26 nbConstraintChecks=2101672816 nbPropagations=99529916 nbRevisions=1410559360
312.15 nbUselessRevisions=1144550312 nbAssignments=1535269 nbFailedAssignments=623869 nbBacktracks=911186
312.15 nbVisitedNodes=2684647 nbRestartNogoods=217
312.15 => wckTime=311.341 cpuTime=310.94 mem=15M992
312.15
312.15 global
312.15 nbConstraintChecks=2101744036 nbPropagations=99530862 nbRevisions=1410566360 nbUselessRevisions=1144556019
312.16 nbRestartNogoods=217 solvingWckTime=311.342 solvingCpuTime=310.94 expiredTime=no totalExploration=yes
312.16 nbFoundSolutions=0 globalCpuTime=311.33
312.16 => wckTime=311.85 cpuTime=311.28 mem=15M992
312.16
312.16 s UNSATISFIABLE
312.16 d NODES 1535269
312.16 d CHECKS 2101744036
312.16
312.16 totalWckTime=311.926 totalCpuTime=311.33
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node61/watcher-202553-1168152443 -o ROOT/results/node61/solver-202553-1168152443 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/202553-1168152443/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.92 1.97 1.86 4/81 1721
/proc/meminfo: memFree=1732392/2055920 swapFree=4192812/4192956
[pid=1720] ppid=1718 vsize=292 CPUtime=0
/proc/1720/stat : 1720 (java) R 1718 1720 1078 0 -1 0 229 0 0 0 0 0 0 0 18 0 1 0 163642158 299008 35 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 10387546 0 0 4096 0 0 0 0 17 0 0 0
/proc/1720/statm: 73 35 27 14 0 5 0
[startup+0.108186 s]
/proc/loadavg: 1.92 1.97 1.86 4/81 1721
/proc/meminfo: memFree=1732392/2055920 swapFree=4192812/4192956
[pid=1720] ppid=1718 vsize=914988 CPUtime=0.09
/proc/1720/stat : 1720 (java) R 1718 1720 1078 0 -1 0 3084 0 1 0 7 2 0 0 22 0 8 0 163642158 936947712 2830 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4152819938 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1720/statm: 228747 2830 1455 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.516257 s]
/proc/loadavg: 1.92 1.97 1.86 4/81 1721
/proc/meminfo: memFree=1732392/2055920 swapFree=4192812/4192956
[pid=1720] ppid=1718 vsize=915328 CPUtime=0.47
/proc/1720/stat : 1720 (java) R 1718 1720 1078 0 -1 0 6879 0 8 0 43 4 0 0 23 0 8 0 163642158 937295872 6625 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1720/statm: 228832 6625 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 915328
[startup+1.3384 s]
/proc/loadavg: 1.92 1.97 1.86 3/88 1728
/proc/meminfo: memFree=1706608/2055920 swapFree=4192812/4192956
[pid=1720] ppid=1718 vsize=915456 CPUtime=1.29
/proc/1720/stat : 1720 (java) R 1718 1720 1078 0 -1 0 8738 0 8 0 122 7 0 0 25 0 8 0 163642158 937426944 8483 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073341520 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1720/statm: 228864 8483 2524 14 0 215334 0
[pid=1720/tid=1722] ppid=1718 vsize=915456 CPUtime=0.02
/proc/1720/task/1722/stat : 1722 (java) S 1718 1720 1078 0 -1 64 287 0 0 0 2 0 0 0 16 0 8 0 163642161 937426944 8483 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1720/tid=1723] ppid=1718 vsize=915456 CPUtime=0
/proc/1720/task/1723/stat : 1723 (java) S 1718 1720 1078 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 163642162 937426944 8483 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1720/tid=1724] ppid=1718 vsize=915456 CPUtime=0
/proc/1720/task/1724/stat : 1724 (java) S 1718 1720 1078 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 163642162 937426944 8483 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1720/tid=1725] ppid=1718 vsize=915456 CPUtime=0
/proc/1720/task/1725/stat : 1725 (java) S 1718 1720 1078 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 163642165 937426944 8483 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1720/tid=1726] ppid=1718 vsize=915456 CPUtime=0.21
/proc/1720/task/1726/stat : 1726 (java) S 1718 1720 1078 0 -1 64 385 0 0 0 20 1 0 0 16 0 8 0 163642165 937426944 8483 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1720/tid=1727] ppid=1718 vsize=915456 CPUtime=0
/proc/1720/task/1727/stat : 1727 (java) S 1718 1720 1078 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 163642165 937426944 8483 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1720/tid=1728] ppid=1718 vsize=915456 CPUtime=0
/proc/1720/task/1728/stat : 1728 (java) S 1718 1720 1078 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 163642165 937426944 8483 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 915456
[startup+2.98769 s]
/proc/loadavg: 1.92 1.97 1.86 3/88 1728
/proc/meminfo: memFree=1706416/2055920 swapFree=4192812/4192956
[pid=1720] ppid=1718 vsize=915456 CPUtime=2.94
/proc/1720/stat : 1720 (java) R 1718 1720 1078 0 -1 0 8766 0 8 0 287 7 0 0 25 0 8 0 163642158 937426944 8510 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073802592 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1720/statm: 228864 8510 2524 14 0 215334 0
[pid=1720/tid=1722] ppid=1718 vsize=915456 CPUtime=0.02
/proc/1720/task/1722/stat : 1722 (java) S 1718 1720 1078 0 -1 64 287 0 0 0 2 0 0 0 16 0 8 0 163642161 937426944 8510 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1720/tid=1723] ppid=1718 vsize=915456 CPUtime=0
/proc/1720/task/1723/stat : 1723 (java) S 1718 1720 1078 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 163642162 937426944 8510 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1720/tid=1724] ppid=1718 vsize=915456 CPUtime=0
/proc/1720/task/1724/stat : 1724 (java) S 1718 1720 1078 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 163642162 937426944 8510 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1720/tid=1725] ppid=1718 vsize=915456 CPUtime=0
/proc/1720/task/1725/stat : 1725 (java) S 1718 1720 1078 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 163642165 937426944 8510 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1720/tid=1726] ppid=1718 vsize=915456 CPUtime=0.22
/proc/1720/task/1726/stat : 1726 (java) S 1718 1720 1078 0 -1 64 394 0 0 0 21 1 0 0 15 0 8 0 163642165 937426944 8510 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1720/tid=1727] ppid=1718 vsize=915456 CPUtime=0
/proc/1720/task/1727/stat : 1727 (java) S 1718 1720 1078 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 163642165 937426944 8510 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1720/tid=1728] ppid=1718 vsize=915456 CPUtime=0
/proc/1720/task/1728/stat : 1728 (java) S 1718 1720 1078 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 163642165 937426944 8510 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915456
[startup+6.27227 s]
/proc/loadavg: 1.93 1.97 1.86 3/88 1728
/proc/meminfo: memFree=1706288/2055920 swapFree=4192812/4192956
[pid=1720] ppid=1718 vsize=915456 CPUtime=6.21
/proc/1720/stat : 1720 (java) R 1718 1720 1078 0 -1 0 8771 0 8 0 614 7 0 0 25 0 8 0 163642158 937426944 8515 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073803454 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1720/statm: 228864 8515 2524 14 0 215334 0
[pid=1720/tid=1722] ppid=1718 vsize=915456 CPUtime=0.02
/proc/1720/task/1722/stat : 1722 (java) S 1718 1720 1078 0 -1 64 287 0 0 0 2 0 0 0 16 0 8 0 163642161 937426944 8515 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1720/tid=1723] ppid=1718 vsize=915456 CPUtime=0
/proc/1720/task/1723/stat : 1723 (java) S 1718 1720 1078 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 163642162 937426944 8515 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1720/tid=1724] ppid=1718 vsize=915456 CPUtime=0
/proc/1720/task/1724/stat : 1724 (java) S 1718 1720 1078 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 163642162 937426944 8515 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1720/tid=1725] ppid=1718 vsize=915456 CPUtime=0
/proc/1720/task/1725/stat : 1725 (java) S 1718 1720 1078 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 163642165 937426944 8515 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1720/tid=1726] ppid=1718 vsize=915456 CPUtime=0.22
/proc/1720/task/1726/stat : 1726 (java) S 1718 1720 1078 0 -1 64 394 0 0 0 21 1 0 0 15 0 8 0 163642165 937426944 8515 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1720/tid=1727] ppid=1718 vsize=915456 CPUtime=0
/proc/1720/task/1727/stat : 1727 (java) S 1718 1720 1078 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 163642165 937426944 8515 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1720/tid=1728] ppid=1718 vsize=915456 CPUtime=0
/proc/1720/task/1728/stat : 1728 (java) S 1718 1720 1078 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 163642165 937426944 8515 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 915456
[startup+12.7594 s]
/proc/loadavg: 1.93 1.97 1.86 3/88 1728
/proc/meminfo: memFree=1706288/2055920 swapFree=4192812/4192956
[pid=1720] ppid=1718 vsize=915456 CPUtime=12.7
/proc/1720/stat : 1720 (java) R 1718 1720 1078 0 -1 0 8778 0 8 0 1263 7 0 0 25 0 8 0 163642158 937426944 8521 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073798134 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1720/statm: 228864 8521 2524 14 0 215334 0
[pid=1720/tid=1722] ppid=1718 vsize=915456 CPUtime=0.02
/proc/1720/task/1722/stat : 1722 (java) S 1718 1720 1078 0 -1 64 287 0 0 0 2 0 0 0 16 0 8 0 163642161 937426944 8521 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1720/tid=1723] ppid=1718 vsize=915456 CPUtime=0
/proc/1720/task/1723/stat : 1723 (java) S 1718 1720 1078 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 163642162 937426944 8521 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1720/tid=1724] ppid=1718 vsize=915456 CPUtime=0
/proc/1720/task/1724/stat : 1724 (java) S 1718 1720 1078 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 163642162 937426944 8521 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1720/tid=1725] ppid=1718 vsize=915456 CPUtime=0
/proc/1720/task/1725/stat : 1725 (java) S 1718 1720 1078 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 163642165 937426944 8521 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1720/tid=1726] ppid=1718 vsize=915456 CPUtime=0.22
/proc/1720/task/1726/stat : 1726 (java) S 1718 1720 1078 0 -1 64 395 0 0 0 21 1 0 0 16 0 8 0 163642165 937426944 8521 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1720/tid=1727] ppid=1718 vsize=915456 CPUtime=0
/proc/1720/task/1727/stat : 1727 (java) S 1718 1720 1078 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 163642165 937426944 8521 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1720/tid=1728] ppid=1718 vsize=915456 CPUtime=0
/proc/1720/task/1728/stat : 1728 (java) S 1718 1720 1078 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 163642165 937426944 8521 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 915456
[startup+25.6007 s]
/proc/loadavg: 1.95 1.97 1.86 3/88 1728
/proc/meminfo: memFree=1706288/2055920 swapFree=4192812/4192956
[pid=1720] ppid=1718 vsize=915456 CPUtime=25.51
/proc/1720/stat : 1720 (java) R 1718 1720 1078 0 -1 0 8783 0 8 0 2544 7 0 0 25 0 8 0 163642158 937426944 8526 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073797155 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1720/statm: 228864 8526 2524 14 0 215334 0
[pid=1720/tid=1722] ppid=1718 vsize=915456 CPUtime=0.02
/proc/1720/task/1722/stat : 1722 (java) S 1718 1720 1078 0 -1 64 287 0 0 0 2 0 0 0 16 0 8 0 163642161 937426944 8526 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1720/tid=1723] ppid=1718 vsize=915456 CPUtime=0
/proc/1720/task/1723/stat : 1723 (java) S 1718 1720 1078 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 163642162 937426944 8526 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1720/tid=1724] ppid=1718 vsize=915456 CPUtime=0
/proc/1720/task/1724/stat : 1724 (java) S 1718 1720 1078 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 163642162 937426944 8526 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1720/tid=1725] ppid=1718 vsize=915456 CPUtime=0
/proc/1720/task/1725/stat : 1725 (java) S 1718 1720 1078 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 163642165 937426944 8526 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1720/tid=1726] ppid=1718 vsize=915456 CPUtime=0.22
/proc/1720/task/1726/stat : 1726 (java) S 1718 1720 1078 0 -1 64 395 0 0 0 21 1 0 0 16 0 8 0 163642165 937426944 8526 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1720/tid=1727] ppid=1718 vsize=915456 CPUtime=0
/proc/1720/task/1727/stat : 1727 (java) S 1718 1720 1078 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 163642165 937426944 8526 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1720/tid=1728] ppid=1718 vsize=915456 CPUtime=0
/proc/1720/task/1728/stat : 1728 (java) S 1718 1720 1078 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 163642165 937426944 8526 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.51
Current children cumulated vsize (KiB) 915456
[startup+51.2332 s]
/proc/loadavg: 2.04 1.99 1.87 3/88 1728
/proc/meminfo: memFree=1706288/2055920 swapFree=4192812/4192956
[pid=1720] ppid=1718 vsize=915456 CPUtime=51.12
/proc/1720/stat : 1720 (java) R 1718 1720 1078 0 -1 0 8785 0 8 0 5105 7 0 0 25 0 8 0 163642158 937426944 8528 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073803405 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1720/statm: 228864 8528 2524 14 0 215334 0
[pid=1720/tid=1722] ppid=1718 vsize=915456 CPUtime=0.02
/proc/1720/task/1722/stat : 1722 (java) S 1718 1720 1078 0 -1 64 287 0 0 0 2 0 0 0 16 0 8 0 163642161 937426944 8528 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1720/tid=1723] ppid=1718 vsize=915456 CPUtime=0
/proc/1720/task/1723/stat : 1723 (java) S 1718 1720 1078 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 163642162 937426944 8528 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1720/tid=1724] ppid=1718 vsize=915456 CPUtime=0
/proc/1720/task/1724/stat : 1724 (java) S 1718 1720 1078 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 163642162 937426944 8528 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1720/tid=1725] ppid=1718 vsize=915456 CPUtime=0
/proc/1720/task/1725/stat : 1725 (java) S 1718 1720 1078 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 163642165 937426944 8528 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1720/tid=1726] ppid=1718 vsize=915456 CPUtime=0.22
/proc/1720/task/1726/stat : 1726 (java) S 1718 1720 1078 0 -1 64 395 0 0 0 21 1 0 0 16 0 8 0 163642165 937426944 8528 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1720/tid=1727] ppid=1718 vsize=915456 CPUtime=0
/proc/1720/task/1727/stat : 1727 (java) S 1718 1720 1078 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 163642165 937426944 8528 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1720/tid=1728] ppid=1718 vsize=915456 CPUtime=0
/proc/1720/task/1728/stat : 1728 (java) S 1718 1720 1078 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 163642165 937426944 8528 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.12
Current children cumulated vsize (KiB) 915456
[startup+102.479 s]
/proc/loadavg: 2.01 1.99 1.87 3/88 1728
/proc/meminfo: memFree=1706224/2055920 swapFree=4192812/4192956
[pid=1720] ppid=1718 vsize=915456 CPUtime=102.33
/proc/1720/stat : 1720 (java) R 1718 1720 1078 0 -1 0 8790 0 8 0 10225 8 0 0 25 0 8 0 163642158 937426944 8533 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073336169 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1720/statm: 228864 8533 2524 14 0 215334 0
[pid=1720/tid=1722] ppid=1718 vsize=915456 CPUtime=0.02
/proc/1720/task/1722/stat : 1722 (java) S 1718 1720 1078 0 -1 64 287 0 0 0 2 0 0 0 16 0 8 0 163642161 937426944 8533 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1720/tid=1723] ppid=1718 vsize=915456 CPUtime=0
/proc/1720/task/1723/stat : 1723 (java) S 1718 1720 1078 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 163642162 937426944 8533 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1720/tid=1724] ppid=1718 vsize=915456 CPUtime=0
/proc/1720/task/1724/stat : 1724 (java) S 1718 1720 1078 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 163642162 937426944 8533 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1720/tid=1725] ppid=1718 vsize=915456 CPUtime=0
/proc/1720/task/1725/stat : 1725 (java) S 1718 1720 1078 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 163642165 937426944 8533 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1720/tid=1726] ppid=1718 vsize=915456 CPUtime=0.22
/proc/1720/task/1726/stat : 1726 (java) S 1718 1720 1078 0 -1 64 395 0 0 0 21 1 0 0 16 0 8 0 163642165 937426944 8533 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1720/tid=1727] ppid=1718 vsize=915456 CPUtime=0
/proc/1720/task/1727/stat : 1727 (java) S 1718 1720 1078 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 163642165 937426944 8533 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1720/tid=1728] ppid=1718 vsize=915456 CPUtime=0
/proc/1720/task/1728/stat : 1728 (java) S 1718 1720 1078 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 163642165 937426944 8533 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.33
Current children cumulated vsize (KiB) 915456
[startup+162.488 s]
/proc/loadavg: 2.00 1.99 1.88 4/88 1728
/proc/meminfo: memFree=1706288/2055920 swapFree=4192812/4192956
[pid=1720] ppid=1718 vsize=915456 CPUtime=162.26
/proc/1720/stat : 1720 (java) R 1718 1720 1078 0 -1 0 8793 0 8 0 16218 8 0 0 25 0 8 0 163642158 937426944 8536 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073856315 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1720/statm: 228864 8536 2524 14 0 215334 0
[pid=1720/tid=1722] ppid=1718 vsize=915456 CPUtime=0.02
/proc/1720/task/1722/stat : 1722 (java) S 1718 1720 1078 0 -1 64 287 0 0 0 2 0 0 0 16 0 8 0 163642161 937426944 8536 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1720/tid=1723] ppid=1718 vsize=915456 CPUtime=0
/proc/1720/task/1723/stat : 1723 (java) S 1718 1720 1078 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 163642162 937426944 8536 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1720/tid=1724] ppid=1718 vsize=915456 CPUtime=0
/proc/1720/task/1724/stat : 1724 (java) S 1718 1720 1078 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 163642162 937426944 8536 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1720/tid=1725] ppid=1718 vsize=915456 CPUtime=0
/proc/1720/task/1725/stat : 1725 (java) S 1718 1720 1078 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 163642165 937426944 8536 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1720/tid=1726] ppid=1718 vsize=915456 CPUtime=0.22
/proc/1720/task/1726/stat : 1726 (java) S 1718 1720 1078 0 -1 64 395 0 0 0 21 1 0 0 16 0 8 0 163642165 937426944 8536 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1720/tid=1727] ppid=1718 vsize=915456 CPUtime=0
/proc/1720/task/1727/stat : 1727 (java) S 1718 1720 1078 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 163642165 937426944 8536 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1720/tid=1728] ppid=1718 vsize=915456 CPUtime=0
/proc/1720/task/1728/stat : 1728 (java) S 1718 1720 1078 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 163642165 937426944 8536 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 915456
[startup+222.578 s]
/proc/loadavg: 2.03 2.00 1.89 3/88 1728
/proc/meminfo: memFree=1706224/2055920 swapFree=4192812/4192956
[pid=1720] ppid=1718 vsize=915456 CPUtime=222.3
/proc/1720/stat : 1720 (java) R 1718 1720 1078 0 -1 0 8795 0 8 0 22222 8 0 0 25 0 8 0 163642158 937426944 8538 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073828291 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1720/statm: 228864 8538 2524 14 0 215334 0
[pid=1720/tid=1722] ppid=1718 vsize=915456 CPUtime=0.02
/proc/1720/task/1722/stat : 1722 (java) S 1718 1720 1078 0 -1 64 287 0 0 0 2 0 0 0 16 0 8 0 163642161 937426944 8538 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1720/tid=1723] ppid=1718 vsize=915456 CPUtime=0
/proc/1720/task/1723/stat : 1723 (java) S 1718 1720 1078 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 163642162 937426944 8538 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1720/tid=1724] ppid=1718 vsize=915456 CPUtime=0
/proc/1720/task/1724/stat : 1724 (java) S 1718 1720 1078 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 163642162 937426944 8538 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1720/tid=1725] ppid=1718 vsize=915456 CPUtime=0
/proc/1720/task/1725/stat : 1725 (java) S 1718 1720 1078 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 163642165 937426944 8538 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1720/tid=1726] ppid=1718 vsize=915456 CPUtime=0.22
/proc/1720/task/1726/stat : 1726 (java) S 1718 1720 1078 0 -1 64 395 0 0 0 21 1 0 0 16 0 8 0 163642165 937426944 8538 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1720/tid=1727] ppid=1718 vsize=915456 CPUtime=0
/proc/1720/task/1727/stat : 1727 (java) S 1718 1720 1078 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 163642165 937426944 8538 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1720/tid=1728] ppid=1718 vsize=915456 CPUtime=0
/proc/1720/task/1728/stat : 1728 (java) S 1718 1720 1078 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 163642165 937426944 8538 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 915456
[startup+282.587 s]
/proc/loadavg: 2.01 2.00 1.90 3/88 1728
/proc/meminfo: memFree=1706224/2055920 swapFree=4192812/4192956
[pid=1720] ppid=1718 vsize=915456 CPUtime=282.25
/proc/1720/stat : 1720 (java) R 1718 1720 1078 0 -1 0 8798 0 8 0 28217 8 0 0 25 0 8 0 163642158 937426944 8541 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073817115 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1720/statm: 228864 8541 2524 14 0 215334 0
[pid=1720/tid=1722] ppid=1718 vsize=915456 CPUtime=0.02
/proc/1720/task/1722/stat : 1722 (java) S 1718 1720 1078 0 -1 64 287 0 0 0 2 0 0 0 16 0 8 0 163642161 937426944 8541 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1720/tid=1723] ppid=1718 vsize=915456 CPUtime=0
/proc/1720/task/1723/stat : 1723 (java) S 1718 1720 1078 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 163642162 937426944 8541 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1720/tid=1724] ppid=1718 vsize=915456 CPUtime=0
/proc/1720/task/1724/stat : 1724 (java) S 1718 1720 1078 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 163642162 937426944 8541 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1720/tid=1725] ppid=1718 vsize=915456 CPUtime=0
/proc/1720/task/1725/stat : 1725 (java) S 1718 1720 1078 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 163642165 937426944 8541 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1720/tid=1726] ppid=1718 vsize=915456 CPUtime=0.22
/proc/1720/task/1726/stat : 1726 (java) S 1718 1720 1078 0 -1 64 395 0 0 0 21 1 0 0 16 0 8 0 163642165 937426944 8541 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1720/tid=1727] ppid=1718 vsize=915456 CPUtime=0
/proc/1720/task/1727/stat : 1727 (java) S 1718 1720 1078 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 163642165 937426944 8541 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1720/tid=1728] ppid=1718 vsize=915456 CPUtime=0
/proc/1720/task/1728/stat : 1728 (java) S 1718 1720 1078 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 163642165 937426944 8541 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 915456
Child status: 0
Real time (s): 312.172
CPU time (s): 311.807
CPU user time (s): 311.716
CPU system time (s): 0.090986
CPU usage (%): 99.8829
Max. virtual memory (cumulated for all children) (KiB): 915456
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 311.716
system time used= 0.090986
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8889
page faults= 8
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7499
involuntary context switches= 8809
runsolver used 0.361944 s user time and 1.02784 s system time
The end
Begin job on node61 on Sun Jan 7 06:47:23 UTC 2007
IDJOB= 202553
IDBENCH= 3865
FILE ID= node61/202553-1168152443
PBS_JOBID= 3478441
Free space on /tmp= 66517 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-40-19/rand-2-40-19-443-230-43_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/202553-1168152443/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node61/watcher-202553-1168152443 -o ROOT/results/node61/solver-202553-1168152443 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/202553-1168152443/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 1c931fd7bef7b7ee3f8102667307a153
RANDOM SEED= 295701796
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.259
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 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.259
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1732872 kB
Buffers: 42176 kB
Cached: 187120 kB
SwapCached: 0 kB
Active: 136224 kB
Inactive: 123516 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1732872 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1852 kB
Writeback: 0 kB
Mapped: 48176 kB
Slab: 48732 kB
Committed_AS: 3405080 kB
PageTables: 1844 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= 66517 MiB
End job on node61 on Sun Jan 7 06:52:35 UTC 2007