0.34
0.34 Abscon 109 (November, 2006)
0.34
0.34 configuration
0.34 name=esac.xml
0.41
0.41 instance
0.41 name=/tmp/evaluation/202477-1168151941/unknown.xml
0.44
0.44 domains being loaded...
0.45
0.45 variables being loaded...
0.48 nbVariables=40 nbDomainTypes=1 minDomainSize=19 maxDomainSize=19
0.48 => wckTime=0.128 cpuTime=0.1 mem=6M951
0.48
0.48 relations being loaded...
0.59
0.59 constraints being loaded...
0.70 nbConstraints=338 nbRelationTypes=338 nbExtensionStructures=338 nbSharedExtensionStructures=0
0.70 nbConflictsStructures=338 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=2948 maxDegree=23
0.70 maxArity=2
0.70 => wckTime=0.349 cpuTime=0.25 mem=12M803
0.74
0.74 solver IterativeSystematicSolver being built...
0.91 => wckTime=0.553 cpuTime=0.39 mem=15M13
0.96
0.96 preprocessing
0.96 nbConstraintChecks=65989 nbPropagations=886 nbRevisions=7180 nbUselessRevisions=5916 nbSingletonTests=48
0.96 nbEffectiveSingletonTests=0 nbESACBranches=6 nbRemovedValues=0 detectedInconsistency=no
0.96 => wckTime=0.052 cpuTime=0.03 mem=15M13
0.98
0.98 search
0.98 run=0 nbConstraintChecks=29418 nbPropagations=1297 nbRevisions=11907 nbUselessRevisions=9707 nbAssignments=22
0.98 nbFailedAssignments=5 nbBacktracks=10 nbVisitedNodes=33 nbRestartNogoods=0 mapSize=6 nbInferences=0
0.98 nbTooLargeKeys=0
0.98 => wckTime=0.074 cpuTime=0.04 mem=15M13
1.00
1.00 search
1.00 run=1 nbConstraintChecks=66333 nbPropagations=3154 nbRevisions=30391 nbUselessRevisions=24840 nbAssignments=52
1.00 nbFailedAssignments=13 nbBacktracks=25 nbVisitedNodes=79 nbRestartNogoods=3 mapSize=18 nbInferences=0
1.00 nbTooLargeKeys=0
1.00 => wckTime=0.094 cpuTime=0.05 mem=15M13
1.02
1.02 search
1.02 run=2 nbConstraintChecks=117155 nbPropagations=5732 nbRevisions=58161 nbUselessRevisions=47562
1.02 nbAssignments=93 nbFailedAssignments=24 nbBacktracks=48 nbVisitedNodes=142 nbRestartNogoods=6 mapSize=34
1.02 nbInferences=0 nbTooLargeKeys=0
1.02 => wckTime=0.111 cpuTime=0.07 mem=15M13
1.04
1.04 search
1.04 run=3 nbConstraintChecks=186027 nbPropagations=9366 nbRevisions=98827 nbUselessRevisions=80713
1.04 nbAssignments=156 nbFailedAssignments=44 nbBacktracks=84 nbVisitedNodes=240 nbRestartNogoods=10 mapSize=59
1.04 nbInferences=0 nbTooLargeKeys=0
1.04 => wckTime=0.126 cpuTime=0.08 mem=15M13
1.06
1.06 search
1.06 run=4 nbConstraintChecks=309539 nbPropagations=14783 nbRevisions=165059 nbUselessRevisions=134730
1.06 nbAssignments=255 nbFailedAssignments=86 nbBacktracks=135 nbVisitedNodes=414 nbRestartNogoods=13 mapSize=107
1.06 nbInferences=0 nbTooLargeKeys=0
1.06 => wckTime=0.154 cpuTime=0.11 mem=15M13
1.11
1.11 search
1.11 run=5 nbConstraintChecks=512210 nbPropagations=22934 nbRevisions=269090 nbUselessRevisions=219277
1.11 nbAssignments=399 nbFailedAssignments=147 nbBacktracks=212 nbVisitedNodes=666 nbRestartNogoods=14 mapSize=178
1.11 nbInferences=0 nbTooLargeKeys=0
1.11 => wckTime=0.198 cpuTime=0.15 mem=15M13
1.16
1.16 search
1.16 run=6 nbConstraintChecks=750789 nbPropagations=34571 nbRevisions=419647 nbUselessRevisions=341065
1.16 nbAssignments=584 nbFailedAssignments=211 nbBacktracks=327 nbVisitedNodes=983 nbRestartNogoods=17 mapSize=277
1.16 nbInferences=0 nbTooLargeKeys=0
1.16 => wckTime=0.252 cpuTime=0.19 mem=15M13
1.23
1.23 search
1.24 run=7 nbConstraintChecks=1151175 nbPropagations=51414 nbRevisions=642417 nbUselessRevisions=520719
1.24 nbAssignments=866 nbFailedAssignments=316 nbBacktracks=497 nbVisitedNodes=1468 nbRestartNogoods=24 mapSize=418
1.24 nbInferences=0 nbTooLargeKeys=0
1.24 => wckTime=0.326 cpuTime=0.27 mem=15M13
1.34
1.34 search
1.34 run=8 nbConstraintChecks=1650177 nbPropagations=75540 nbRevisions=961360 nbUselessRevisions=777416
1.34 nbAssignments=1278 nbFailedAssignments=463 nbBacktracks=757 nbVisitedNodes=2160 nbRestartNogoods=31
1.34 mapSize=623 nbInferences=0 nbTooLargeKeys=0
1.34 => wckTime=0.429 cpuTime=0.36 mem=15M13
1.52
1.52 search
1.52 run=9 nbConstraintChecks=2569379 nbPropagations=112690 nbRevisions=1460831 nbUselessRevisions=1179622
1.52 nbAssignments=1960 nbFailedAssignments=754 nbBacktracks=1141 nbVisitedNodes=3370 nbRestartNogoods=35
1.52 mapSize=954 nbInferences=0 nbTooLargeKeys=0
1.52 => wckTime=0.61 cpuTime=0.53 mem=15M13
1.56
1.56 INFO : Stopping hyperNogood (mapSize=1008, nbTooLargekeys=0, mem=15M13)
1.75
1.75 search
1.75 run=10 nbConstraintChecks=3872240 nbPropagations=167673 nbRevisions=2211504 nbUselessRevisions=1786564
1.75 nbAssignments=2942 nbFailedAssignments=1125 nbBacktracks=1717 nbVisitedNodes=5020 nbRestartNogoods=45
1.75 => wckTime=0.839 cpuTime=0.74 mem=15M13
2.06
2.06 search
2.06 run=11 nbConstraintChecks=5864821 nbPropagations=249312 nbRevisions=3323799 nbUselessRevisions=2682913
2.06 nbAssignments=4374 nbFailedAssignments=1687 nbBacktracks=2582 nbVisitedNodes=7486 nbRestartNogoods=52
2.06 => wckTime=1.154 cpuTime=1.06 mem=15M13
2.55
2.55 search
2.55 run=12 nbConstraintChecks=8825651 nbPropagations=371867 nbRevisions=5030358 nbUselessRevisions=4064353
2.55 nbAssignments=6583 nbFailedAssignments=2591 nbBacktracks=3880 nbVisitedNodes=11375 nbRestartNogoods=59
2.55 => wckTime=1.645 cpuTime=1.54 mem=15M13
3.19
3.19 search
3.19 run=13 nbConstraintChecks=12635668 nbPropagations=550451 nbRevisions=7498834 nbUselessRevisions=6062871
3.19 nbAssignments=9718 nbFailedAssignments=3757 nbBacktracks=5826 nbVisitedNodes=16785 nbRestartNogoods=65
3.19 => wckTime=2.278 cpuTime=2.17 mem=15M13
4.21
4.21 search
4.21 run=14 nbConstraintChecks=18877427 nbPropagations=817100 nbRevisions=11196884 nbUselessRevisions=9057861
4.21 nbAssignments=14580 nbFailedAssignments=5691 nbBacktracks=8747 nbVisitedNodes=25219 nbRestartNogoods=73
4.21 => wckTime=3.303 cpuTime=3.19 mem=15M13
5.77
5.77 search
5.77 run=15 nbConstraintChecks=28397491 nbPropagations=1218960 nbRevisions=16762215 nbUselessRevisions=13563746
5.77 nbAssignments=21946 nbFailedAssignments=8671 nbBacktracks=13126 nbVisitedNodes=38097 nbRestartNogoods=80
5.77 => wckTime=4.861 cpuTime=4.74 mem=15M13
8.07
8.07 search
8.07 run=16 nbConstraintChecks=42195099 nbPropagations=1817164 nbRevisions=25154551 nbUselessRevisions=20383684
8.07 nbAssignments=32792 nbFailedAssignments=12940 nbBacktracks=19694 nbVisitedNodes=57044 nbRestartNogoods=92
8.07 => wckTime=7.158 cpuTime=7.03 mem=15M13
11.60
11.60 search
11.60 run=17 nbConstraintChecks=64440896 nbPropagations=2717622 nbRevisions=37718934 nbUselessRevisions=30571952
11.60 nbAssignments=49054 nbFailedAssignments=19341 nbBacktracks=29546 nbVisitedNodes=85361 nbRestartNogoods=101
11.60 => wckTime=10.69 cpuTime=10.54 mem=15M989
16.56
16.56 search
16.56 run=18 nbConstraintChecks=94368650 nbPropagations=4047989 nbRevisions=56451302 nbUselessRevisions=45805465
16.56 nbAssignments=73282 nbFailedAssignments=28783 nbBacktracks=44328 nbVisitedNodes=127472 nbRestartNogoods=115
16.56 => wckTime=15.651 cpuTime=15.48 mem=15M989
24.51
24.51 search
24.51 run=19 nbConstraintChecks=144014661 nbPropagations=6068518 nbRevisions=84745216 nbUselessRevisions=68781333
24.51 nbAssignments=110314 nbFailedAssignments=43638 nbBacktracks=66496 nbVisitedNodes=192327 nbRestartNogoods=119
24.51 => wckTime=23.598 cpuTime=23.4 mem=15M989
36.44
36.44 search
36.44 run=20 nbConstraintChecks=218181174 nbPropagations=9096226 nbRevisions=127498221 nbUselessRevisions=103527164
36.44 nbAssignments=164975 nbFailedAssignments=65041 nbBacktracks=99748 nbVisitedNodes=287379 nbRestartNogoods=131
36.44 => wckTime=35.528 cpuTime=35.26 mem=15M989
53.90
53.90 search
53.90 run=21 nbConstraintChecks=326140965 nbPropagations=13629002 nbRevisions=191169574 nbUselessRevisions=155208189
53.90 nbAssignments=247659 nbFailedAssignments=97842 nbBacktracks=149626 nbVisitedNodes=431027 nbRestartNogoods=143
53.90 => wckTime=52.992 cpuTime=52.65 mem=15M989
81.36
81.36 search
81.36 run=22 nbConstraintChecks=498613093 nbPropagations=20503993 nbRevisions=287986332 nbUselessRevisions=233795146
81.36 nbAssignments=373817 nbFailedAssignments=149174 nbBacktracks=224447 nbVisitedNodes=652000 nbRestartNogoods=158
81.36 => wckTime=80.454 cpuTime=79.98 mem=15M989
121.01
121.01 search
121.01 run=23 nbConstraintChecks=744430958 nbPropagations=30769480 nbRevisions=432770356 nbUselessRevisions=351334829
121.01 nbAssignments=559075 nbFailedAssignments=222195 nbBacktracks=336676 nbVisitedNodes=974261 nbRestartNogoods=166
121.01 => wckTime=120.1 cpuTime=119.44 mem=15M989
181.64
181.64 search
181.64 run=24 nbConstraintChecks=1122475702 nbPropagations=46183536 nbRevisions=651211732 nbUselessRevisions=528812261
181.64 nbAssignments=838091 nbFailedAssignments=332845 nbBacktracks=505019 nbVisitedNodes=1461166 nbRestartNogoods=174
181.64 => wckTime=180.732 cpuTime=179.79 mem=15M989
271.42
271.42 search
271.43 run=25 nbConstraintChecks=1685599628 nbPropagations=69100258 nbRevisions=978381229 nbUselessRevisions=794722975
271.43 nbAssignments=1238090 nbFailedAssignments=494816 nbBacktracks=743048 nbVisitedNodes=2161153
271.43 nbRestartNogoods=183
271.43 => wckTime=270.516 cpuTime=269.15 mem=15M989
271.43
271.43 global
271.43 nbConstraintChecks=1685665617 nbPropagations=69101144 nbRevisions=978388409 nbUselessRevisions=794728891
271.43 nbRestartNogoods=183 solvingWckTime=270.517 solvingCpuTime=269.15 expiredTime=no totalExploration=yes
271.43 nbFoundSolutions=0 globalCpuTime=269.6
271.43 => wckTime=271.074 cpuTime=269.54 mem=15M989
271.43
271.43 s UNSATISFIABLE
271.43 d NODES 1238090
271.43 d CHECKS 1685665617
271.43
271.43 totalWckTime=271.164 totalCpuTime=269.6
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node4/watcher-202477-1168151941 -o ROOT/results/node4/solver-202477-1168151941 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/202477-1168151941/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: 2.02 2.12 2.23 4/95 9143
/proc/meminfo: memFree=1821744/2055920 swapFree=4182144/4192956
[pid=9142] ppid=9140 vsize=906644 CPUtime=0.02
/proc/9142/stat : 9142 (java) S 9140 9142 8203 0 -1 0 2069 0 1 0 2 0 0 0 18 0 2 0 163589624 928403456 1818 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 7368 18446744073709551615 0 0 17 1 0 0
/proc/9142/statm: 226661 1818 1036 14 0 214244 0
[pid=9142/tid=9144] ppid=9140 vsize=906644 CPUtime=0
/proc/9142/task/9144/stat : 9144 (java) R 9140 9142 8203 0 -1 64 4 0 0 0 0 0 0 0 19 0 2 0 163589628 928403456 1818 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 7368 0 0 0 -1 1 0 0
[startup+0.104771 s]
/proc/loadavg: 2.02 2.12 2.23 4/95 9143
/proc/meminfo: memFree=1821744/2055920 swapFree=4182144/4192956
[pid=9142] ppid=9140 vsize=914988 CPUtime=0.08
/proc/9142/stat : 9142 (java) R 9140 9142 8203 0 -1 0 3006 0 1 0 7 1 0 0 18 0 8 0 163589624 936947712 2752 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153900326 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9142/statm: 228747 2752 1430 14 0 215242 0
[pid=9142/tid=9144] ppid=9140 vsize=914988 CPUtime=0
/proc/9142/task/9144/stat : 9144 (java) S 9140 9142 8203 0 -1 64 6 0 0 0 0 0 0 0 18 0 8 0 163589628 936947712 2752 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.512811 s]
/proc/loadavg: 2.02 2.12 2.23 4/95 9143
/proc/meminfo: memFree=1821744/2055920 swapFree=4182144/4192956
[pid=9142] ppid=9140 vsize=915328 CPUtime=0.43
/proc/9142/stat : 9142 (java) R 9140 9142 8203 0 -1 0 6155 0 18 0 39 4 0 0 18 0 8 0 163589624 937295872 5911 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9142/statm: 228832 5911 2137 14 0 215302 0
[pid=9142/tid=9144] ppid=9140 vsize=915328 CPUtime=0
/proc/9142/task/9144/stat : 9144 (java) S 9140 9142 8203 0 -1 64 6 0 0 0 0 0 0 0 18 0 8 0 163589628 937295872 5911 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 915328
[startup+1.33489 s]
/proc/loadavg: 2.02 2.12 2.23 3/102 9150
/proc/meminfo: memFree=1792824/2055920 swapFree=4182144/4192956
[pid=9142] ppid=9140 vsize=915456 CPUtime=1.24
/proc/9142/stat : 9142 (java) R 9140 9142 8203 0 -1 0 8706 0 18 0 117 7 0 0 24 0 8 0 163589624 937426944 8461 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073849176 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9142/statm: 228864 8461 2524 14 0 215334 0
[pid=9142/tid=9144] ppid=9140 vsize=915456 CPUtime=0.03
/proc/9142/task/9144/stat : 9144 (java) S 9140 9142 8203 0 -1 64 288 0 0 0 3 0 0 0 16 0 8 0 163589628 937426944 8461 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9142/tid=9145] ppid=9140 vsize=915456 CPUtime=0
/proc/9142/task/9145/stat : 9145 (java) S 9140 9142 8203 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 163589629 937426944 8461 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9142/tid=9146] ppid=9140 vsize=915456 CPUtime=0
/proc/9142/task/9146/stat : 9146 (java) S 9140 9142 8203 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 163589629 937426944 8461 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9142/tid=9147] ppid=9140 vsize=915456 CPUtime=0
/proc/9142/task/9147/stat : 9147 (java) S 9140 9142 8203 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 163589632 937426944 8461 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9142/tid=9148] ppid=9140 vsize=915456 CPUtime=0.2
/proc/9142/task/9148/stat : 9148 (java) S 9140 9142 8203 0 -1 64 379 0 0 0 19 1 0 0 15 0 8 0 163589632 937426944 8461 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9142/tid=9149] ppid=9140 vsize=915456 CPUtime=0
/proc/9142/task/9149/stat : 9149 (java) S 9140 9142 8203 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 163589632 937426944 8461 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9142/tid=9150] ppid=9140 vsize=915456 CPUtime=0
/proc/9142/task/9150/stat : 9150 (java) S 9140 9142 8203 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 163589632 937426944 8461 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.24
Current children cumulated vsize (KiB) 915456
[startup+2.97204 s]
/proc/loadavg: 2.02 2.12 2.23 4/102 9150
/proc/meminfo: memFree=1792504/2055920 swapFree=4182144/4192956
[pid=9142] ppid=9140 vsize=915456 CPUtime=2.87
/proc/9142/stat : 9142 (java) R 9140 9142 8203 0 -1 0 8754 0 18 0 279 8 0 0 25 0 8 0 163589624 937426944 8508 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073823249 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9142/statm: 228864 8508 2524 14 0 215334 0
[pid=9142/tid=9144] ppid=9140 vsize=915456 CPUtime=0.03
/proc/9142/task/9144/stat : 9144 (java) S 9140 9142 8203 0 -1 64 288 0 0 0 3 0 0 0 16 0 8 0 163589628 937426944 8508 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9142/tid=9145] ppid=9140 vsize=915456 CPUtime=0
/proc/9142/task/9145/stat : 9145 (java) S 9140 9142 8203 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 163589629 937426944 8508 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9142/tid=9146] ppid=9140 vsize=915456 CPUtime=0
/proc/9142/task/9146/stat : 9146 (java) S 9140 9142 8203 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 163589629 937426944 8508 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9142/tid=9147] ppid=9140 vsize=915456 CPUtime=0
/proc/9142/task/9147/stat : 9147 (java) S 9140 9142 8203 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 163589632 937426944 8508 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9142/tid=9148] ppid=9140 vsize=915456 CPUtime=0.23
/proc/9142/task/9148/stat : 9148 (java) S 9140 9142 8203 0 -1 64 393 0 0 0 22 1 0 0 15 0 8 0 163589632 937426944 8508 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9142/tid=9149] ppid=9140 vsize=915456 CPUtime=0
/proc/9142/task/9149/stat : 9149 (java) S 9140 9142 8203 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 163589632 937426944 8508 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9142/tid=9150] ppid=9140 vsize=915456 CPUtime=0
/proc/9142/task/9150/stat : 9150 (java) S 9140 9142 8203 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 163589632 937426944 8508 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.87
Current children cumulated vsize (KiB) 915456
[startup+6.17535 s]
/proc/loadavg: 2.02 2.12 2.23 3/102 9150
/proc/meminfo: memFree=1792440/2055920 swapFree=4182144/4192956
[pid=9142] ppid=9140 vsize=915456 CPUtime=6.06
/proc/9142/stat : 9142 (java) R 9140 9142 8203 0 -1 0 8762 0 18 0 598 8 0 0 25 0 8 0 163589624 937426944 8515 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073828921 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9142/statm: 228864 8515 2524 14 0 215334 0
[pid=9142/tid=9144] ppid=9140 vsize=915456 CPUtime=0.03
/proc/9142/task/9144/stat : 9144 (java) S 9140 9142 8203 0 -1 64 288 0 0 0 3 0 0 0 16 0 8 0 163589628 937426944 8515 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9142/tid=9145] ppid=9140 vsize=915456 CPUtime=0
/proc/9142/task/9145/stat : 9145 (java) S 9140 9142 8203 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 163589629 937426944 8515 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9142/tid=9146] ppid=9140 vsize=915456 CPUtime=0
/proc/9142/task/9146/stat : 9146 (java) S 9140 9142 8203 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 163589629 937426944 8515 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9142/tid=9147] ppid=9140 vsize=915456 CPUtime=0
/proc/9142/task/9147/stat : 9147 (java) S 9140 9142 8203 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 163589632 937426944 8515 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9142/tid=9148] ppid=9140 vsize=915456 CPUtime=0.23
/proc/9142/task/9148/stat : 9148 (java) S 9140 9142 8203 0 -1 64 393 0 0 0 22 1 0 0 15 0 8 0 163589632 937426944 8515 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9142/tid=9149] ppid=9140 vsize=915456 CPUtime=0
/proc/9142/task/9149/stat : 9149 (java) S 9140 9142 8203 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 163589632 937426944 8515 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9142/tid=9150] ppid=9140 vsize=915456 CPUtime=0
/proc/9142/task/9150/stat : 9150 (java) S 9140 9142 8203 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 163589632 937426944 8515 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.06
Current children cumulated vsize (KiB) 915456
[startup+12.642 s]
/proc/loadavg: 2.02 2.12 2.23 3/102 9150
/proc/meminfo: memFree=1792632/2055920 swapFree=4182144/4192956
[pid=9142] ppid=9140 vsize=915456 CPUtime=12.49
/proc/9142/stat : 9142 (java) R 9140 9142 8203 0 -1 0 8769 0 18 0 1241 8 0 0 25 0 8 0 163589624 937426944 8521 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073803539 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9142/statm: 228864 8521 2524 14 0 215334 0
[pid=9142/tid=9144] ppid=9140 vsize=915456 CPUtime=0.03
/proc/9142/task/9144/stat : 9144 (java) S 9140 9142 8203 0 -1 64 288 0 0 0 3 0 0 0 16 0 8 0 163589628 937426944 8521 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9142/tid=9145] ppid=9140 vsize=915456 CPUtime=0
/proc/9142/task/9145/stat : 9145 (java) S 9140 9142 8203 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 163589629 937426944 8521 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9142/tid=9146] ppid=9140 vsize=915456 CPUtime=0
/proc/9142/task/9146/stat : 9146 (java) S 9140 9142 8203 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 163589629 937426944 8521 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9142/tid=9147] ppid=9140 vsize=915456 CPUtime=0
/proc/9142/task/9147/stat : 9147 (java) S 9140 9142 8203 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 163589632 937426944 8521 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9142/tid=9148] ppid=9140 vsize=915456 CPUtime=0.23
/proc/9142/task/9148/stat : 9148 (java) S 9140 9142 8203 0 -1 64 394 0 0 0 22 1 0 0 16 0 8 0 163589632 937426944 8521 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9142/tid=9149] ppid=9140 vsize=915456 CPUtime=0
/proc/9142/task/9149/stat : 9149 (java) S 9140 9142 8203 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 163589632 937426944 8521 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9142/tid=9150] ppid=9140 vsize=915456 CPUtime=0
/proc/9142/task/9150/stat : 9150 (java) S 9140 9142 8203 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 163589632 937426944 8521 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.49
Current children cumulated vsize (KiB) 915456
[startup+25.5072 s]
/proc/loadavg: 2.01 2.11 2.22 4/102 9150
/proc/meminfo: memFree=1793016/2055920 swapFree=4182144/4192956
[pid=9142] ppid=9140 vsize=915456 CPUtime=25.3
/proc/9142/stat : 9142 (java) R 9140 9142 8203 0 -1 0 8774 0 18 0 2522 8 0 0 25 0 8 0 163589624 937426944 8526 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072918543 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9142/statm: 228864 8526 2524 14 0 215334 0
[pid=9142/tid=9144] ppid=9140 vsize=915456 CPUtime=0.03
/proc/9142/task/9144/stat : 9144 (java) S 9140 9142 8203 0 -1 64 288 0 0 0 3 0 0 0 16 0 8 0 163589628 937426944 8526 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9142/tid=9145] ppid=9140 vsize=915456 CPUtime=0
/proc/9142/task/9145/stat : 9145 (java) S 9140 9142 8203 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 163589629 937426944 8526 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9142/tid=9146] ppid=9140 vsize=915456 CPUtime=0
/proc/9142/task/9146/stat : 9146 (java) S 9140 9142 8203 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 163589629 937426944 8526 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9142/tid=9147] ppid=9140 vsize=915456 CPUtime=0
/proc/9142/task/9147/stat : 9147 (java) S 9140 9142 8203 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 163589632 937426944 8526 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9142/tid=9148] ppid=9140 vsize=915456 CPUtime=0.23
/proc/9142/task/9148/stat : 9148 (java) S 9140 9142 8203 0 -1 64 394 0 0 0 22 1 0 0 16 0 8 0 163589632 937426944 8526 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9142/tid=9149] ppid=9140 vsize=915456 CPUtime=0
/proc/9142/task/9149/stat : 9149 (java) S 9140 9142 8203 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 163589632 937426944 8526 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9142/tid=9150] ppid=9140 vsize=915456 CPUtime=0
/proc/9142/task/9150/stat : 9150 (java) S 9140 9142 8203 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 163589632 937426944 8526 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.3
Current children cumulated vsize (KiB) 915456
[startup+51.1166 s]
/proc/loadavg: 2.01 2.10 2.21 3/102 9150
/proc/meminfo: memFree=1793144/2055920 swapFree=4182144/4192956
[pid=9142] ppid=9140 vsize=915456 CPUtime=50.78
/proc/9142/stat : 9142 (java) R 9140 9142 8203 0 -1 0 8776 0 18 0 5070 8 0 0 25 0 8 0 163589624 937426944 8528 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073803454 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9142/statm: 228864 8528 2524 14 0 215334 0
[pid=9142/tid=9144] ppid=9140 vsize=915456 CPUtime=0.03
/proc/9142/task/9144/stat : 9144 (java) S 9140 9142 8203 0 -1 64 288 0 0 0 3 0 0 0 16 0 8 0 163589628 937426944 8528 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9142/tid=9145] ppid=9140 vsize=915456 CPUtime=0
/proc/9142/task/9145/stat : 9145 (java) S 9140 9142 8203 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 163589629 937426944 8528 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9142/tid=9146] ppid=9140 vsize=915456 CPUtime=0
/proc/9142/task/9146/stat : 9146 (java) S 9140 9142 8203 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 163589629 937426944 8528 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9142/tid=9147] ppid=9140 vsize=915456 CPUtime=0
/proc/9142/task/9147/stat : 9147 (java) S 9140 9142 8203 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 163589632 937426944 8528 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9142/tid=9148] ppid=9140 vsize=915456 CPUtime=0.23
/proc/9142/task/9148/stat : 9148 (java) S 9140 9142 8203 0 -1 64 394 0 0 0 22 1 0 0 16 0 8 0 163589632 937426944 8528 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9142/tid=9149] ppid=9140 vsize=915456 CPUtime=0
/proc/9142/task/9149/stat : 9149 (java) S 9140 9142 8203 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 163589632 937426944 8528 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9142/tid=9150] ppid=9140 vsize=915456 CPUtime=0
/proc/9142/task/9150/stat : 9150 (java) S 9140 9142 8203 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 163589632 937426944 8528 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.78
Current children cumulated vsize (KiB) 915456
[startup+102.331 s]
/proc/loadavg: 2.00 2.08 2.20 3/102 9150
/proc/meminfo: memFree=1793144/2055920 swapFree=4182144/4192956
[pid=9142] ppid=9140 vsize=915456 CPUtime=101.76
/proc/9142/stat : 9142 (java) R 9140 9142 8203 0 -1 0 8781 0 18 0 10167 9 0 0 25 0 8 0 163589624 937426944 8533 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073810022 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9142/statm: 228864 8533 2524 14 0 215334 0
[pid=9142/tid=9144] ppid=9140 vsize=915456 CPUtime=0.03
/proc/9142/task/9144/stat : 9144 (java) S 9140 9142 8203 0 -1 64 288 0 0 0 3 0 0 0 16 0 8 0 163589628 937426944 8533 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9142/tid=9145] ppid=9140 vsize=915456 CPUtime=0
/proc/9142/task/9145/stat : 9145 (java) S 9140 9142 8203 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 163589629 937426944 8533 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9142/tid=9146] ppid=9140 vsize=915456 CPUtime=0
/proc/9142/task/9146/stat : 9146 (java) S 9140 9142 8203 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 163589629 937426944 8533 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9142/tid=9147] ppid=9140 vsize=915456 CPUtime=0
/proc/9142/task/9147/stat : 9147 (java) S 9140 9142 8203 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 163589632 937426944 8533 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9142/tid=9148] ppid=9140 vsize=915456 CPUtime=0.23
/proc/9142/task/9148/stat : 9148 (java) S 9140 9142 8203 0 -1 64 394 0 0 0 22 1 0 0 16 0 8 0 163589632 937426944 8533 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9142/tid=9149] ppid=9140 vsize=915456 CPUtime=0
/proc/9142/task/9149/stat : 9149 (java) S 9140 9142 8203 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 163589632 937426944 8533 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9142/tid=9150] ppid=9140 vsize=915456 CPUtime=0
/proc/9142/task/9150/stat : 9150 (java) S 9140 9142 8203 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 163589632 937426944 8533 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.76
Current children cumulated vsize (KiB) 915456
[startup+162.388 s]
/proc/loadavg: 2.00 2.06 2.18 3/102 9150
/proc/meminfo: memFree=1793080/2055920 swapFree=4182144/4192956
[pid=9142] ppid=9140 vsize=915456 CPUtime=161.53
/proc/9142/stat : 9142 (java) R 9140 9142 8203 0 -1 0 8783 0 18 0 16144 9 0 0 25 0 8 0 163589624 937426944 8535 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073810111 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9142/statm: 228864 8535 2524 14 0 215334 0
[pid=9142/tid=9144] ppid=9140 vsize=915456 CPUtime=0.03
/proc/9142/task/9144/stat : 9144 (java) S 9140 9142 8203 0 -1 64 288 0 0 0 3 0 0 0 16 0 8 0 163589628 937426944 8535 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9142/tid=9145] ppid=9140 vsize=915456 CPUtime=0
/proc/9142/task/9145/stat : 9145 (java) S 9140 9142 8203 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 163589629 937426944 8535 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9142/tid=9146] ppid=9140 vsize=915456 CPUtime=0
/proc/9142/task/9146/stat : 9146 (java) S 9140 9142 8203 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 163589629 937426944 8535 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9142/tid=9147] ppid=9140 vsize=915456 CPUtime=0
/proc/9142/task/9147/stat : 9147 (java) S 9140 9142 8203 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 163589632 937426944 8535 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9142/tid=9148] ppid=9140 vsize=915456 CPUtime=0.23
/proc/9142/task/9148/stat : 9148 (java) S 9140 9142 8203 0 -1 64 394 0 0 0 22 1 0 0 16 0 8 0 163589632 937426944 8535 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9142/tid=9149] ppid=9140 vsize=915456 CPUtime=0
/proc/9142/task/9149/stat : 9149 (java) S 9140 9142 8203 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 163589632 937426944 8535 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9142/tid=9150] ppid=9140 vsize=915456 CPUtime=0
/proc/9142/task/9150/stat : 9150 (java) S 9140 9142 8203 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 163589632 937426944 8535 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 161.53
Current children cumulated vsize (KiB) 915456
[startup+222.445 s]
/proc/loadavg: 2.00 2.05 2.17 3/102 9150
/proc/meminfo: memFree=1768760/2055920 swapFree=4182144/4192956
[pid=9142] ppid=9140 vsize=915456 CPUtime=221.3
/proc/9142/stat : 9142 (java) R 9140 9142 8203 0 -1 0 8786 0 18 0 22121 9 0 0 25 0 8 0 163589624 937426944 8538 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073795591 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9142/statm: 228864 8538 2524 14 0 215334 0
[pid=9142/tid=9144] ppid=9140 vsize=915456 CPUtime=0.03
/proc/9142/task/9144/stat : 9144 (java) S 9140 9142 8203 0 -1 64 288 0 0 0 3 0 0 0 16 0 8 0 163589628 937426944 8538 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9142/tid=9145] ppid=9140 vsize=915456 CPUtime=0
/proc/9142/task/9145/stat : 9145 (java) S 9140 9142 8203 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 163589629 937426944 8538 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9142/tid=9146] ppid=9140 vsize=915456 CPUtime=0
/proc/9142/task/9146/stat : 9146 (java) S 9140 9142 8203 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 163589629 937426944 8538 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9142/tid=9147] ppid=9140 vsize=915456 CPUtime=0
/proc/9142/task/9147/stat : 9147 (java) S 9140 9142 8203 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 163589632 937426944 8538 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9142/tid=9148] ppid=9140 vsize=915456 CPUtime=0.23
/proc/9142/task/9148/stat : 9148 (java) S 9140 9142 8203 0 -1 64 394 0 0 0 22 1 0 0 16 0 8 0 163589632 937426944 8538 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9142/tid=9149] ppid=9140 vsize=915456 CPUtime=0
/proc/9142/task/9149/stat : 9149 (java) S 9140 9142 8203 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 163589632 937426944 8538 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9142/tid=9150] ppid=9140 vsize=915456 CPUtime=0
/proc/9142/task/9150/stat : 9150 (java) S 9140 9142 8203 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 163589632 937426944 8538 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 221.3
Current children cumulated vsize (KiB) 915456
Child status: 0
Real time (s): 271.486
CPU time (s): 270.083
CPU user time (s): 269.976
CPU system time (s): 0.106983
CPU usage (%): 99.4833
Max. virtual memory (cumulated for all children) (KiB): 915456
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 269.976
system time used= 0.106983
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8877
page faults= 18
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6659
involuntary context switches= 14818
runsolver used 0.370943 s user time and 0.845871 s system time
The end
Begin job on node4 on Sun Jan 7 06:39:01 UTC 2007
IDJOB= 202477
IDBENCH= 3860
FILE ID= node4/202477-1168151941
PBS_JOBID= 3478199
Free space on /tmp= 66305 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-40-19/rand-2-40-19-443-230-11_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/202477-1168151941/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node4/watcher-202477-1168151941 -o ROOT/results/node4/solver-202477-1168151941 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/202477-1168151941/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 88f7b2436b540d3b866e9a5fd2fd8d7c
RANDOM SEED= 375341286
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.223
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.223
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: 1822224 kB
Buffers: 18228 kB
Cached: 47460 kB
SwapCached: 952 kB
Active: 149948 kB
Inactive: 30804 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1822224 kB
SwapTotal: 4192956 kB
SwapFree: 4182144 kB
Dirty: 5672 kB
Writeback: 0 kB
Mapped: 134972 kB
Slab: 37364 kB
Committed_AS: 4920456 kB
PageTables: 2652 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= 66305 MiB
End job on node4 on Sun Jan 7 06:43:32 UTC 2007